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

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
形態:
x, 501 p. ; 25 cm
著者名:
シリーズ名:
Prentice-Hall International series in computer science <BA00010507>
書誌ID:
BA21466563
ISBN:
9780133290035 [0133290034]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Software development : a rigorous approach

Jones, Cliff B., 1944-

Prentice/Hall International
7 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-

Springer-Verlag
2 図書 The Vienna development method : the meta-language

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

Springer-Verlag
8 図書 Logics of specification languages

Bjørner, D. (Dines), 1937-, Henson, Martin C.

Springer
3 図書 Foundations of algebraic specification and formal software development

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

Springer
9 図書 Towards a formal description of Ada

Oest, O. N., Bjørner, D. (Dines), 1937-

Springer-Verlag
4 図書 Specification of systems and languages

Bjørner, D. (Dines), 1937-

Springer
10 図書 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

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

Springer-Verlag
5 図書 A theory and practice of program development

Andrews, Derek

Springer
11 図書 VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-

Springer-Verlag
6 図書 Formal specification and design

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

Cambridge University Press
12 図書 An introduction to formal specification and Z

Potter, Ben, Sinclair, Jane, Till, David

Prentice Hall