Ir al contenido

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Theoretical Computer Science and General Issues, 4144) de Ball, Thomas [Editor]; Jones, Robert B. [Editor];

de Ball, Thomas [Editor]; Jones, Robert B. [Editor];

Te mostramos ejemplares similares más abajo.
Te mostramos ejemplares similares a la derecha.
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Theoretical Computer Science and General Issues, 4144) de Ball, Thomas [Editor]; Jones, Robert B. [Editor];
Foto de archivo: la portada puede ser diferente

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Theoretical Computer Science and General Issues, 4144)

de Ball, Thomas [Editor]; Jones, Robert B. [Editor];

  • Nuevo
  • Tapa blanda
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
  • Librería Independent bookstores US (US)
  • Formato/Encuadernación Tapa blanda
  • Estado del libro Nuevo New
  • Cantidad disponible 5
  • Encuadernación Tapa blanda
  • ISBN 10 354037406X
  • ISBN 13 9783540374060
  • Editorial Springer
  • Tamaño 6x1x9
  • X weight 29 oz
  • Size 6x1x9

Tenemos 3 ejemplares disponibles a partir de EUR 79.24.

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August...
Foto de archivo: la portada puede ser diferente

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

de Ball, Thomas [Editor]; Jones, Robert B. [Editor];

  • Usado
  • Muy bueno
  • Tapa blanda
Estado
Usado - Muy bueno
Encuadernación
Paperback
ISBN 10 / ISBN 13
9783540374060 / 354037406X
Cantidad disponible
1
Librería
Spring Branch, Texas, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 79.24
EUR 5.99 enviando a

Mostrar detalles

Descripción:
Springer, 2006-08-08. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, text block clean and unmarked. Tight binding.
Precio
EUR 79.24
EUR 5.99 enviando a
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August...
Foto de archivo: la portada puede ser diferente

Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

de Thomas Ball

  • Nuevo
Estado
Nuevo
ISBN 10 / ISBN 13
9783540374060 / 354037406x
Cantidad disponible
64
Librería
Uxbridge, Greater London, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 120.67
EUR 7.99 enviando a

Mostrar detalles

Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings.
Precio
EUR 120.67
EUR 7.99 enviando a
Computer Aided Verification (Pb 2006)
Foto de archivo: la portada puede ser diferente

Computer Aided Verification (Pb 2006)

de Ball T

  • Usado
  • Muy bueno
Estado
Usado - Muy bueno
ISBN 10 / ISBN 13
9783540374060 / 354037406x
Cantidad disponible
1
Librería
Indianapolis, Indiana, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 136.42
EUR 12.65 enviando a

Mostrar detalles

Descripción:
Very Good.
Precio
EUR 136.42
EUR 12.65 enviando a