This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).
| ISBN: | 9783540343042 |
| Publication date: | 15th May 2006 |
| Author: | Communication, and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessandro Cimatti |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 242 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Expert systems / knowledge-based systems Network hardware Compilers and interpreters Software Engineering |
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).
Formal Methods for Hardware Verification features in the following genres: Mathematical theory of computation, Expert systems / knowledge-based systems, Network hardware, Compilers and interpreters, Software Engineering
Paperback. Not Available.
Formal Methods for Hardware Verification was written by Communication, and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessandro Cimatti and published by Springer an imprint of Springer Berlin Heidelberg
Formal Methods for Hardware Verification has 242 pages
Yes it is part of Lecture Notes in Computer Science series