Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).
Graf, Susanne and Wenhui Zhang (Edts.):
Verlag: Berlin, Springer, 2006
Sprache: Englisch
Gebraucht
Zustand: Wie neu
Softcover
Verkäufer Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 3. Mai 2002
Verbandsmitglied:
Gebraucht - Softcover
Preis:
EUR 17,60
Währung umrechnen
EUR 1,50
für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Anzahl: 1 verfügbar
In den Warenkorb legen
