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

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

Clarke, E. M. & Kurshan, R. P. (eds.)

Inhaltsangabe

Gebraucht kaufen

Suchergebnisse f�r 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 531)

Gebraucht kaufen