Subject Summary
Subject Books
Subjects Search
Recently Added
Formal methods (Computer science)
Referred from 13 books
Books on this subject:
Here are some of the most recently loaded books on this subject, you can also see
all 13 matching books
on a separate page.
Validated designs for object-oriented systems
John Fitzgerald
... [et al.]
Publisher: London :
Springer
, c2005
ISBN: 1852338814 LCC: QA76.9 Edition: (alk. paper)
Constructing correct software
John Cooke
Publisher: New York :
Springer
, 2005
ISBN: 1852338202 LCC: QA76.76 Edition: (alk. paper)
Formal specification using Z
David Lightfoot
,
Publisher: Basingstoke :
Palgrave
, 2001.
ISBN: 0333763270 DDC: 5.133 Edition: (pbk.)
Subject structure:
Below you can see components of the subject along with their types and similar subjects. Click on a subject component to see other subjects that include it.
"Formal methods (Computer science)"
-- Topical Term, 650/a
Similar Subjects:
Formal methods (Computer science) -- Congresses
(10)
Formal methods (Computer science) -- Study and teaching -- Congresses
(1)
Copyright © 2002-2008 ISBNdb.com
FAQ
|
Privacy Policy
|
Contact ISBNdb.com
