-
RecordNumber
35523
-
Title
Software specification methods
-
Author Statement
edited by Henri Habrias, Marc Frappier
-
Edition
2nd ed
-
Publication
ISTE Ltd
-
Publication Year
2006
-
Collation
xxv, 418 p. : ill.
-
Notes
97804700851227 , Includes bibliographical references
-
Subject
Formal methods (Computer science) , Computer software -- Specifications
-
ADDED ENTRIES
Habrias, Henri , Habrias, Henri
-
LC Class
QA
-
LC Number
76.9
-
LC CutterNumber
.F67S64
-
LC Date
2006
-
وارد کنندة اطلاعات
ZADEHMOHAMMADI
-
Link To Document :
