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

The Resource 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
Label
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 remainder
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
Statement of responsibility
Marco Bernardo, Alessandro Cimatti (eds.)
Title variation
  • SFM 2006
  • Hardware verification
Creator
Contributor
Subject
Genre
Language
eng
Member of
Action
digitized
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I586 2006
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • LNCS sublibrary. SL 2, Programming and software engineering
  • Lecture notes in computer science,
  • Tutorial
Series volume
3965.
Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...