>> Google Books
所蔵情報QRコード

Systematic software development using VDM / Cliff B. Jones

版:
2nd ed
資料種別:
図書
出版情報:
New York : Prentice Hall, 1990
形態:
xiv, 333 p. ; 24 cm
シリーズ名:
Prentice-Hall International series in computer science <BA00010507>
著者名:
Jones, Cliff B., 1944- <DA00678832>  
ISBN:
9780138807337 [0138807337]
書誌ID:
BA20533927
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Case studies in systematic software development

Jones, Cliff B., 1944-, Shaw, Roger C. F.

Prentice-Hall
7 図書 Tutorial : human factors in software development (: pbk.)

Curtis, Bill

IEEE Computer Society Press
2 図書 Structured rapid prototyping : an evolutionary approach to software development

Connell, John L., 1943-, Shafer, Linda, 1944-

Yourdon Press
8 図書 Software modeling and design : UML, use cases, patterns, and software architectures (: hardback)

Gomaa, Hassan

Cambridge University Press
3 図書 An integrated approach to software development

Abbott, Russell J., 1942-

Wiley
9 図書 JSP and JSD : the Jackson approach to software development (: case)

Cameron, J. R. (John R.)

IEEE Computer Society Press
4 図書 Software development with Ada (: pbk)

Sommerville, Ian, Morrison, R. (Ronald), 1946-

Addison-Wesley
10 図書 Software development and management for microprocessor-based systems

Rauscher, Tomlinson G., Ott, Linda M., 1950-

Prentice-Hall
5 図書 Modula-2 : a software development approach

Ford, Gary A., Wiener, Richard, 1941-

Wiley
11 図書 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system (: us ; : gw)

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

Springer-Verlag
6 図書 Software system development : a gentle introduction

Britton, Carol, 1947-, Doake, Jill, 1946-

McGraw-Hill
12 図書 Creating effective software : computer program design using the Jackson methodology

King, David, 1940-

Yourdon Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12