1.

図書
図書
1. Software process : principles, methodology, and technology
Jean-Claude Derniame, Badara Ali Kaba, David Wastell (eds.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1500
所蔵情報: loading…
2.

図書
図書
2. Modular specification and verification of object-oriented programs
Peter Müller
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2262
所蔵情報: loading…
3.

図書
図書
3. Advances in exception handling techniques
Alexander Romanovsky ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2022
所蔵情報: loading…
4.

図書
図書
4. Software development : a rigorous approach
Cliff B. Jones
出版情報: Englewood Cliffs, N.J. : Prentice/Hall International, 1980
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
5.

図書
図書
5. An introduction to formal specification and Z
Ben Potter, Jane Sinclair, David Till
出版情報: Englewood Cliffs, N.J. : Prentice Hall, 1991
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
6.

図書
図書
6. Formal specification and software development
Dines Bjørner and Cliff B. Jones ; in collaboration with Derek Andrews [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1982
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
7.

図書
図書
7. KORSO : methods, languages, and tools for the construction of correct software : final report
Manfred Broy, Stefan Jähnichen (eds.)
出版情報: Berlin ; New York : Springer, c1995
シリーズ名: Lecture notes in computer science ; 1009
所蔵情報: loading…
8.

図書
図書
8. A theory and practice of program development (: pbk.)
Derek Andrews
出版情報: London ; Tokyo : Springer, c1997
シリーズ名: Formal approaches to computing and information technology (FACIT)
所蔵情報: loading…
9.

図書
図書
9. Foundations of algebraic specification and formal software development (: hbk)
Donald Sannella, Andrzej Tarlecki
出版情報: Dordrecht : Springer, c2012
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
10.

図書
図書
10. Formal specification and design
L. M. G. Feijs & H. B. M. Jonkers
出版情報: Cambridge ; New York : Cambridge University Press, 1992
シリーズ名: Cambridge tracts in theoretical computer science ; 35
所蔵情報: loading…