2004, ISBN: 9783540525134
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal met… Altro …
booklooker.de |
ISBN: 9783540525134
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematic… Altro …
Springer.com Nr. 978-3-540-52513-4. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
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) - edizione con copertina flessibile
1990, ISBN: 9783540525134
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 on… Altro …
Biblio.co.uk |
Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc - edizione con copertina flessibile
1990, ISBN: 9783540525134
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 it… Altro …
Biblio.co.uk |
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) - edizione con copertina flessibile
1990, ISBN: 9783540525134
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., Springer, 1990-05-0… Altro …
Biblio.co.uk |
2004, ISBN: 9783540525134
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal met… Altro …
ISBN: 9783540525134
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematic… Altro …
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) - edizione con copertina flessibile
1990
ISBN: 9783540525134
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 on… Altro …
Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc - edizione con copertina flessibile
1990, ISBN: 9783540525134
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 it… Altro …
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) - edizione con copertina flessibile
1990, ISBN: 9783540525134
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., Springer, 1990-05-0… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - VDM '90. VDM and Z - Formal Methods in Software Development
EAN (ISBN-13): 9783540525134
ISBN (ISBN-10): 3540525130
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1990
Editore: Springer Berlin Heidelberg
604 Pagine
Peso: 0,900 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-04-23T07:54:37+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-03T07:43:12+02:00 (Zurich)
ISBN/EAN: 9783540525134
ISBN - Stili di scrittura alternativi:
3-540-52513-0, 978-3-540-52513-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : vdm, langmaack, lister arthur, hoare, dines, hans lang
Titolo del libro: kiel, 1990 band, formal methods, formal software development, vdm, mycetozoa, frg, april siebzehn, lecture notes computer science, international proceedings, symposium, notes and methods, langmaack
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540470069 VDM '90. VDM and Z - Formal Methods in Software Development (Dines Bjørner; C.A.R. Hoare; Hans Langmaack)
- 9783540470069 VDM '90. VDM and Z - Formal Methods in Software Development (Dines Bjørner; C.A.R. Hoare; Hans Langmaack)
- 9780387548340 Vdm 91: Formal Software Development Methods : Proceedings (Lecture Notes in Computer Science) (S. Prehn; Editor-H. Toetenel)
- 9783540548683 VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... Notes in Computer Science, 552, Band 2) (Toetenel, Hans, Prehn, Soren)
- 9780387548685 Vdm 91: Formal Software Development Methods : 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991 : Procee: 002 (Lecture Notes in Computer Science) (Netherlands) Vdm 9 (1991 Noordwijkerhout, S. Prehn, W. J. Toetenel, W. J. Toetenel, Vdm-Europe)
< Per archiviare...