Formal methods (Computer science)
ShareCopied to clipboardFormal methods (Computer science) is a book subject. It includes 51 books, written by 45 different authors.
Key facts
- number of authors: 45 people
- number of books: 51
- books: Learning by doing : practical courses in lightweight formal methods using VDM++, Are formal methods ready for agility? : a reality check, Symbolic simulation methods for industrial formal verification
- authors: Peter Gorm Larsen, Robert Brent Jones
- publication dates: 2006, 2010, 2002
- book publishers: University of Newcastle upon Tyne, University of Newcastle upon Tyne Computing Science, Kluwer Academic
See more factsExtract data
Download datasets about Formal methods (Computer science):
Dataset of books about Formal methods (Computer science)
"Formal methods (Computer science)" is one of the 293,135 book subjects in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.