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

Author(s)

• Bernardo, Marco
• Cimatti, Alessandro
• International School on Formal Methods for the Design of Computer, Communication and Software Systems

Bibliographic Information

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

Marco Bernardo, Alessandro Cimatti (eds.)

（Lecture notes in computer science, 3965）

Springer, c2006

Note

Includes bibliographical references and index

"Tutorial"--Cover

• NCID: BA76896980
• ISBN:
  • 3540343040
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: vi, 242 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : Computer software
  • LCSH : Computer architecture
  • LCSH : System design
  • LCSH : Formal methods (Computer science)
• Parent Bibliography ID:
  • BA00009279