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

An introduction to formal specification and Z

フォーマット:
図書
責任表示:
Ben Potter, Jane Sinclair, David Till
言語:
英語
出版情報:
Englewood Cliffs, N.J. : Prentice Hall, 1991
形態:
xiii, 304 p. ; 24 cm
著者名:
シリーズ名:
Prentice-Hall International series in computer science <BA00010507>
書誌ID:
BA13527607
ISBN:
9780134787022 [0134787021]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Introduction to formal specification and Z

Potter, Ben, Sinclair, Jane, Till, David

Prentice Hall
7 図書 Modular specification and verification of object-oriented programs

Müller, Peter

Springer
2 図書 ソフトウェア仕様記述の先進技法-Z言語

Potter, Ben, Sinclair, Jane, Till, David, 田中, 武二

トッパン
8 図書 ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings

International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-, &hellip;

Springer
3 図書 Formal specification and software development

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

Prentice-Hall International
9 図書 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

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

Springer-Verlag
4 図書 Formal specification and design

Feijs, L. M. G. (Loe M. G.), Jonkers, H. B. M.

Cambridge University Press
10 図書 Formal program development : IFIP TC 2/WG 2.1 state of the art report

Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-, IFIP TC 2/WG 2.1

Springer-Verlag
5 図書 Foundations of algebraic specification and formal software development

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

Springer
11 図書 Software process : principles, methodology, and technology

Derniame, J. C. (Jean Claude), Kaba, Ali Badara, Wastell, David

Springer
6 図書 The way of Z : practical programming with formal methods

Jacky, Jonathan

Cambridge University Press
12 図書 Formal systems specification : the RPC-Memory specification case study

Broy, M., 1949-, Merz, Stephan, Spies, Katharina

Springer