RecordNumber
8006
Author
Martin, Jame
Title
System design from provably correct constructs : the beginnings of true software engineering
Author Statement
James Martin
Publication
Prentice-Hall
Publication Year
1985
Collation
xviii, 392 p. : ill. ; 25 cm
Notes
Includes bibliographies and index
Subject
Software engineering , System design
LC Class
QA
LC Number
76.9
LC CutterNumber
.S88M37
LC Date
1985