-
RecordNumber
8701
-
Addition
,
-
Title
Formal methods : state of the art and new directions
-
Author Statement
edited by Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi
-
Publication
Springer
-
Collation
xxiii, 273 p. : ill. ; 24 cm.
-
Notes
Includes bibliographical references
-
Subject
Formal methods (Computer science)
-
ADDED ENTRIES
AU Boca, Paul , AU Bowen, Jonathan P. , AU Siddiqi, J. I. (Jawed I.), 1951-
-
LC Class
QA
-
LC Number
76.9
-
LC CutterNumber
.F67,F67
-
LC Date
2010
-
ISBNN
,
-
Published_Year
2010
-
Link To Document :
