-
RecordNumber
30834
-
Author
Monin, Jean Francois
-
Title
Understanding formal methods
-
Author Statement
written and translated by Jean Francois Monin ; translation editor, Michael G. Hinchey
-
Publication
Springer
-
Publication Year
2003
-
Collation
xv, 275 p.
-
Notes
1852332476 , Includes bibliographical references (p. [255]-267) and index , ... published with the help of the French Ministere de la culture--Centre national du livre.
-
Subject
Formal methods (Computer science)
-
ADDED ENTRIES
Hinchey, Michael G.(Michael Gerard) ,
-
LC Class
QA
-
LC Number
76.6
-
LC CutterNumber
.M6513
-
LC Date
2003
-
وارد کنندة اطلاعات
محمدي
-
Link To Document :
