Formal methods (Computer science)
Bookmark
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: A pragmatic introduction to the finite element method for thermal and stress analysis : with the matlab toolkit SOFEA, A programming approach to formal methods, A search-based framework for security protocol synthesis
- authors: Petr Krysl, Chris Casey, Hao Chen
- publication dates: 2006, 1994, 2007
- book publishers: World Scientific, Mc Graw-Hill, University of York, Dept. of Computer Science
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.
Related
Connected or similar to Formal methods (Computer science): .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.