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: A14FM : a new project seeking challenges!, A pragmatic introduction to the finite element method for thermal and stress analysis : with the matlab toolkit SOFEA, A programming approach to formal methods
- authors: Gudmund Grov, Petr Krysl, Chris Casey
- publication dates: 2010, 2006, 1994
- book publishers: University of Newcastle upon Tyne Computing Science, World Scientific, Mc Graw-Hill
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.