Noch Fragen? 0800 / 33 82 637

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, Advances Lectures

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-34305-9 / 978-3540343059 / 9783540343059

Verlag: Springer Berlin

Erscheinungsdatum: 25.11.2006

Seiten: 244

Herausgegeben von Marco Bernardo, Alessandro Cimatti

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück