Descripci�n paperback. Condici�n: Very Good. Estado de la sobrecubierta: 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. N� de ref. del art�culo: 094601

M�s informaci�n sobre este vendedor | Contactar al vendedor

Comprar usado

EUR 8,07

Convertir moneda

A�adir al carrito

Gastos de env�o: EUR 11,10

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Art�culos relacionados a 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) - Tapa blanda

Clarke, E. M.

Comprar usado

Los mejores resultados en AbeBooks

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

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science 531)