Verwandte Artikel zu Computer-Aided Verification: 2nd International Conference,...

Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science) - Softcover

 
9780387544779: Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science)

Inhaltsangabe

Book by Clarke E M

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer-Verlag
  • Erscheinungsdatum1991
  • ISBN 10 0387544771
  • ISBN 13 9780387544779
  • EinbandTapa blanda
  • SpracheEnglisch
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Gut
Lecture Notes in Computer Science...
Diesen Artikel anzeigen

EUR 7,68 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Computer-Aided Verification: 2nd International Conference,...

Beispielbild für diese ISBN

Clarke, E. M. & Kurshan, R. P. (eds.)
Verlag: Springer-Verlag, Berlin, 1991
ISBN 10: 0387544771 ISBN 13: 9780387544779
Gebraucht Paperback

Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich

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

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 531; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. Artikel-Nr. 094601

Verkäufer kontaktieren

Gebraucht kaufen

EUR 8,16
Währung umrechnen
Versand: EUR 7,68
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb