Formal methods for hardware verification: advanced lectures
Berlin [u.a.]: Springer, 2006
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VI, 242 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal methods for hardware verification: advanced lectures
|
---|---|
Verantwortlichkeitsangabe: | 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006. Marco Bernardo ... (ed.) |
Autor/in / Beteiligte Person: | Bernardo, Marco (1970-) |
Körperschaft: | International School on Formal Methods for the Design of Computer, Communication, and Software Systems |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2006 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VI, 242 S. : graph. Darst. |
ISBN: | 9783540343042; 3540343040 : EUR 44.94 (freier Pr.), sfr 76.50 (freier Pr.) |
Schlagwort: |
|
Sonstiges: |
|