Cover image for Formal methods for hardware verification : 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
Title:
Formal methods for hardware verification : 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
Conference Author:
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy)
Series:
Lecture notes in computer science ; 3965. Tutorial
Publication Information:
Berlin : Springer, 2006
ISBN:
9783540343042
Subject Term:
Formal methods (Computer science) -- Congresses

Integrated circuits -- Verification -- Congresses
Added Author:
Cimatti, Alessandro

Bernardo, Marco

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
 30000010121137 QA76.9.F67 I57 2006 Open Access Book Proceedings, Conference, Workshop etc.
Searching...

On Order