>> Google Books
タイトル、所在を表示します

Formal program development : IFIP TC 2/WG 2.1 state of the art report

フォーマット:
図書
責任表示:
Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1993
形態:
371 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 755 <BA00009279>
書誌ID:
BA2150366X
ISBN:
9783540574996 [3540574999] (: gw)
9780387574998 [0387574999] (: us)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 A theory and practice of program development

Andrews, Derek

Springer
7 図書 Scheme and the art of programming

Springer, George, 1924-, Friedman, Daniel P.

MIT Press, McGraw-Hill
2 図書 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

Hoffmann, Berthold, 1953-, Krieg-Brückner, B. (Bernd)

Springer-Verlag
8 図書 Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

International Conference on the Mathematics of Program Construction, Möller, Bernhard, 1953-

Springer
3 図書 Writing solid code : Microsoft's techniques for developing bug-free C programs

Maguire, Steve

Microsoft Press
9 図書 Mathematical methods in program development

Broy, M., 1949-, Schieder, Birgit, NATO Advanced Study Institute on Mathematical Methods in Program Development

Springer
4 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings

Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.

Springer-Verlag
10 図書 Abstraction and specification in program development

Liskov, B., Guttag, John

MIT Press, McGraw-Hill
5 図書 Formal specification and software development

Bjørner, D. (Dines), 1937-, Jones, Cliff B., 1944-, Andrews, Derek

Prentice-Hall International
11 図書 Program correctness over abstract data types, with error-state semantics

Tucker, J. V. (John V.), 1952-, Zucker, J. I.

North-Holland, Sole distributors for the U.S.A and Canada, Elsevier Science Pub. Co.
6 図書 Foundations of algebraic specification and formal software development

Sannella, Donald, 1956-, Tarlecki, Andrzej, 1956-

Springer
12 図書 Programming methodology : a collection of articles by members of IFIP WG2.3

Gries, David, 1939-

Springer-Verlag