Descripción:
Springer, 1990-05-04. Paperback. Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Foto de archivo: la portada puede ser diferente
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science) Tapa blanda - 1990 - 1990th Edición
de DINES BJORNER, TECHNICAL UNIVERSITY OF DENMARK, LYNGBY, DENMARK; C.A.R. HOARE, O
Detalles
- Título VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
- Autor DINES BJORNER, TECHNICAL UNIVERSITY OF DENMARK, LYNGBY, DENMARK; C.A.R. HOARE, O
- Encuadernación Tapa blanda
- Número de edición 1990th
- Edición 1990
- Idioma ENG
- Editorial Springer
- Fecha de publicación 1990
- ISBN 9783540525134
Más ejemplares
Foto de archivo: la portada puede ser diferente
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
de Bjorner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];
- Usado
- good
- Tapa blanda
- Estado
- Usado - Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, United States
- Precio
-
EUR 4.56EUR 5.62 enviando a USA
Mostrar detalles
Precio
EUR 4.56
EUR 5.62
enviando a USA
Foto de archivo: la portada puede ser diferente
Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc
de Dines Bjorner, C. A. R. Hoare et Hans Langmaack
- Usado
- good
- Tapa blanda
- Estado
- Usado - Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Cantidad disponible
- 1
- Librería
-
Morangis, France
- Precio
-
EUR 4.69EUR 11.26 enviando a USA
Mostrar detalles
Descripción:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990. Paperback. Good. Former library book. Slight signs of wear on the cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
Precio
EUR 4.69
EUR 11.26
enviando a USA
Foto de archivo: la portada puede ser diferente
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science 428)
de Dines Bjorner, C.A.R. Hoare, Hans Langmaack
- Usado
- Tapa blanda
- Estado
- Usado
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Cantidad disponible
- 1
- Librería
-
Cleveland, Ohio, United States
- Precio
-
EUR 4.86EUR 4.22 enviando a USA
Mostrar detalles
Descripción:
Springer, 1990. 580 pp., Paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Precio
EUR 4.86
EUR 4.22
enviando a USA
Foto de archivo: la portada puede ser diferente
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
de Editor-Dines Bjorner; Editor-C.A.R. Hoare; Editor-Hans Langmaack
- Usado
- good
- Tapa blanda
- Estado
- Usado - Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Cantidad disponible
- 1
- Librería
-
HOUSTON, Texas, United States
- Precio
-
EUR 11.72Envío gratuito a USA
Mostrar detalles
Descripción:
Springer, 1990-05-04. Paperback. Good.
Precio
EUR 11.72
Envío gratuito a USA
Foto de archivo: la portada puede ser diferente
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
de Dines Bjørner (Editor), C.A.R. Hoare (Editor), Hans Langmaack (Editor)
- Usado
- Tapa blanda
- Estado
- Used:Good
- Edición
- 1990
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Cantidad disponible
- 1
- Librería
-
HOUSTON, Texas, United States
- Precio
-
EUR 48.42Envío gratuito a USA
Mostrar detalles
Descripción:
Springer, 1990-05-04. 1990. Paperback. Used:Good.
Precio
EUR 48.42
Envío gratuito a USA
VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
de Dines Bjørner
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Cantidad disponible
- 133
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 62.57EUR 9.41 enviando a USA
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings.
Precio
EUR 62.57
EUR 9.41
enviando a USA
Foto de archivo: la portada puede ser diferente
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
de Dines Bjorner
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 70.94EUR 11.72 enviando a USA
Mostrar detalles
Descripción:
Paperback / softback. New. The present volume is the third in a series of VDM Symposia Proceedings. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.
Precio
EUR 70.94
EUR 11.72
enviando a USA
Foto de archivo: la portada puede ser diferente
VDM '90. VDM and Z - Formal Methods in Software Development
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Cantidad disponible
- 4
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 73.35EUR 3.74 enviando a USA
Mostrar detalles
Descripción:
Springer , pp. 604 . Papeback. New.
Precio
EUR 73.35
EUR 3.74
enviando a USA
Foto de archivo: la portada puede ser diferente
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science, 428)
de Bjørner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Cantidad disponible
- 5
- Librería
-
campbelltown, Florida, United States
- Precio
-
EUR 169.78EUR 14.07 enviando a USA
Mostrar detalles
Descripción:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Precio
EUR 169.78
EUR 14.07
enviando a USA