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

Prototyping-oriented software development : concepts and tools

フォーマット:
図書
責任表示:
W. Bischofberger, G. Pomberger
言語:
英語
出版情報:
New York ; Berlin : Springer-Verlag, c1992
形態:
xi, 215 p. ; 25 cm
著者名:
シリーズ名:
Texts and monographs in computer science <BA00039349>
書誌ID:
BA18754195
ISBN:
9780387554488 [0387554483] (: us)
9783540554486 [3540554483] (: gw)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 KORSO : methods, languages, and tools for the construction of correct software : final report

Broy, M., 1949-, Jähnichen, Stefan

Springer
7 図書 A theory and practice of program development

Andrews, Derek

Springer
2 図書 Software development : a rigorous approach

Jones, Cliff B., 1944-

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

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

Springer-Verlag
3 図書 Formal specification and software development

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

Prentice-Hall International
9 図書 Proof in VDM : a practitioner's guide

Bicarregui, Juan C. (Juan Carlos), 1962-

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

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

Springer
10 図書 The synthesizer generator reference manual

Reps, Thomas W. (Thomas William), Teitelbaum, Tim

Springer-Verlag
5 図書 Modular specification and verification of object-oriented programs

Müller, Peter

Springer
11 図書 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
6 図書 Software process : principles, methodology, and technology

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

Springer
12 図書 Software tools in Pascal

Kernighan, Brian W., 1942-, Plauger, P. J., 1944-

Addison-Wesley