Band 3965
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
Aus der Reihe
Programming and Software Engineering
-
- Englisch ausgewählt
Fr. 73.90
inkl. gesetzl. MwSt.,
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
15.05.2006
Abbildungen
VIII, 244 p.
Herausgeber
Marco Bernardo + weitereVerlag
Springer BerlinSeitenzahl
244
Maße (B/H)
15.5/23.5 cm
Gewicht
368 g
Sprache
Englisch
ISBN
978-3-540-34304-2
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.