Skip to main content
It looks like you're offline.
Donate
♥
English
العربية
Azərbaycanca
Čeština
Deutsch
English
Español
Français
हिंदी
Hrvatski
Italiano
한국어
Português
Română
Sardu
తెలుగు
Українська
中文
Filipino
My Books
Browse
Subjects
Browse books by topic
Trending
Most popular right now
Library Explorer
Browse the virtual shelves
Lists
Reader-curated collections
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Search
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Improve the Catalog
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Subjects
Browse books by topic
Trending
Most popular right now
Library Explorer
Browse the virtual shelves
Lists
Reader-curated collections
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited anonymously
April 29, 2008 |
History
Edit
C. B. Jones
2 works
Add another?
Most Editions
Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... (Lecture Notes in Computer Science)
by
International Symposium of Formal Method...
,
C. B. Jones
, and
Peter Lucas
First published in 1997
2 editions
Learn More
Mural: A Formal Development Support System
by
C. B. Jones
,
P. A. Lindsay
, and
R. Moore
First published in 1991
1 edition
Learn More
Subjects
Computers
Computers - Languages / Programming
Congresses
Mathematical theory of computation
Methodology
Programming - Software Development
Science/Mathematics
Software Engineering
System design
Systems Engineering
ID Numbers
OLID: OL2679835A
Links
outside Open Library
No links yet.
Add one
?
Download catalog record:
RDF
/
JSON