Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006 Betinoro, Italy, May 22-27, 2006 Advanced Lectures

Bernardo, Marco (EDT); Cimatti, Alessandro (EDT)

ISBN 10: 3540343040 ISBN 13: 9783540343042
Verlag: Springer, 2006
Sprache: Englisch
Zustand: Gebraucht - Wie neu Softcover

Verkauft von GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

AbeBooks-Verkäufer seit 28. Januar 2020

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gebraucht - Wie neu

Preis: EUR 94,93 Währung umrechnen
EUR 17,28 für den Versand von Vereinigtes Königreich nach USA Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen