Foto de archivo: la portada puede ser diferente
Systems and Software Verification: Model-Checking Techniques and Tools Tapa dura - 2001 - 2001st Edición
de B. Berard; P. McKenzie (Translator); M. Bidoit
Primera línea
HASH(0x110d9440)
Detalles
- Título Systems and Software Verification: Model-Checking Techniques and Tools
- Autor B. Berard; P. McKenzie (Translator); M. Bidoit
- Encuadernación Tapa dura
- Número de edición 2001st
- Edición 2001
- Páginas 190
- Volúmenes 1
- Idioma ENG
- Editorial Springer
- Fecha de publicación 2001-06-20
- Ilustrado Sí
- ISBN 9783540415237 / 3540415238
- Peso 0.91 libras (0.41 kg)
- Dimensiones 9.44 x 6.38 x 0.62 pulgadas (23.98 x 16.21 x 1.57 cm)
- Número de catálogo de la Librería del Congreso de EEUU 2001032056
- Dewey Decimal Code 005.14
Más ejemplares
Foto de archivo: la portada puede ser diferente
Systems and Software Verification: Model-Checking Techniques and Tools
de Berard, B. et al
- Usado
- Tapa dura
- Estado
- Usado
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Cantidad disponible
- 1
- Librería
-
Lincoln, Lincolnshire, Aberdeen, United Kingdom
- Precio
-
EUR 12.16EUR 15.07 enviando a USA
Mostrar detalles
Descripción:
Springer, 2001. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9783540415237
Precio
EUR 12.16
EUR 15.07
enviando a USA
Foto de archivo: la portada puede ser diferente
Systems and Software Verification: Model-Checking Techniques and Tools
de B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen; Translator-P. McKenzie
- Usado
- Tapa dura
- Estado
- Used: Good
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Cantidad disponible
- 1
- Librería
-
HOUSTON, Texas, United States
- Precio
-
EUR 12.88Envío gratuito a USA
Mostrar detalles
Descripción:
Springer, 2001-08-09. Hardcover. Used: Good.
Precio
EUR 12.88
Envío gratuito a USA
Foto de archivo: la portada puede ser diferente
Systems and Software Verification: Model-Checking Techniques and Tools
de M. Bidoit, B. Berard, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie
- Usado
- very good
- Tapa dura
- Estado
- Usado - Very Good
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Cantidad disponible
- 1
- Librería
-
Morangis, France
- Precio
-
EUR 18.93EUR 11.28 enviando a USA
Mostrar detalles
Descripción:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Precio
EUR 18.93
EUR 11.28
enviando a USA
Foto de archivo: la portada puede ser diferente
Systems and Software Verification: Model-Checking Techniques and Tools
de M. Bidoit, B. Berard, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie
- Usado
- very good
- Tapa dura
- Estado
- Usado - Very Good
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Cantidad disponible
- 1
- Librería
-
Morangis, France
- Precio
-
EUR 40.05EUR 11.28 enviando a USA
Mostrar detalles
Descripción:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Precio
EUR 40.05
EUR 11.28
enviando a USA
Foto de archivo: la portada puede ser diferente
Systems and Software Verification: Model-Checking Techniques and Tools
de Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]
- Nuevo
- Tapa dura
- Estado
- New
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Cantidad disponible
- 1
- Librería
-
San Diego, California, United States
- Precio
-
EUR 86.10EUR 5.12 enviando a USA
Mostrar detalles
Descripción:
Springer, 2001-06-20. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Precio
EUR 86.10
EUR 5.12
enviando a USA
Foto de archivo: la portada puede ser diferente
Systems and Software Verification : Model-Checking Techniques and Tools
de B. Berard
- Nuevo
- Tapa dura
- Estado
- New
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Cantidad disponible
- 241
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 158.57EUR 9.45 enviando a USA
Mostrar detalles
Descripción:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Systems and Software Verification : Model-Checking Techniques and Tools.
Precio
EUR 158.57
EUR 9.45
enviando a USA
Foto de archivo: la portada puede ser diferente
Systems and Software Verification: Model-Checking Techniques and Tools
de Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]
- Nuevo
- Tapa dura
- Estado
- New
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Cantidad disponible
- 5
- Librería
-
campbelltown, Florida, United States
- Precio
-
EUR 208.61EUR 14.10 enviando a USA
Mostrar detalles
Descripción:
Springer. hardcover. New. 9x0x6. Brand New Book in Publishers original Sealing
Precio
EUR 208.61
EUR 14.10
enviando a USA