Attie p d (1 Ergebnisse)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 2003 Proceedings
Mukhopadhyay, S.;Vmcai, ;Zuck, Lenore D.; Attie, P. D; Cortesi, A.
- Hardcover
Anbieter: Doss-Haus Books, Redondo Beach, CA, USADoss-Haus Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 20,75
EUR 5,38 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2575. [xi, 323 p. : ill. ; 24 cm].
