Formal methods for hardware verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / Marco Bernardo, Alessandro Cimatti (eds.).
- Conference Author:
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy)
- Additional Titles:
- SFM 2006
Hardware verification - Published:
- Berlin ; New York : Springer, [2006]
- Copyright Date:
- ©2006
- Physical Description:
- 1 online resource (vi, 242 pages) : illustrations
- Additional Creators:
- Cimatti, Alessandro
Bernardo, Marco - Access Online:
- ezaccess.libraries.psu.edu
- Series:
- LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science, 0302-9743 ; 3965. Tutorial - Subject(s):
- ISBN:
- 9783540343059
3540343059
3540343040
9783540343042
6611387870
9786611387877 - Note:
- AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
- Bibliography Note:
- Includes bibliographical references and index.
- Reproduction Note:
- Electronic reproduction. Berlin : Springer, 2006. Mode of access: World Wide Web. Available via SpringerLink.
View MARC record | catkey: 4565528