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
Dati dell'editore
Autore: Dines Bjørner; C.A.R. Hoare; Hans Langmaack
Titolo: Lecture Notes in Computer Science; VDM '90. VDM and Z - Formal Methods in Software Development - Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Editore: Springer; Springer Berlin
588 Pagine
Anno di pubblicazione: 1990-04-04
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XX, 588 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Entwurfsmethodik; Spezifikationsmethodik; design; distributed systems; formal method; formalisation; programming; software engineering; specification methodology; verteilte Systeme; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Software Engineering; EA
Object orientation and formal techniques.- An algebraic approach to refinement.- Modal logic programming.- Z specification of an object manager.- Correctness in the small.- A formal approach to hypertext using post-prototype formal specification.- Programming with VDM domains.- A buffering system implementation using VDM.- Formal specifications as reusable frameworks.- Z and the refinement calculus.- Modularizing the formal description of a database system.- Modular extensions to Z.- Adding abstract datatypes to Meta-IV.- Towards a semantics for object-Z.- HOOD and Z for the development of complex software systems.- Using Z as a specification calculus for object-oriented systems.- Specifying open distributed systems with Z.- Refinement of state-based concurrent systems.- Refining data to processes.- Two approaches towards the formalisation of VDM.- Type checking BSI/VDM-SL.- Type inference in Z.- Recursive definitions revisited.- Towards the semantics of the definitional language of MetaSoft.- On conservative extensions of syntax in the process of system development.- A formal semantics for Z and the link between Z and the relational algebra.- A naive domain universe for VDM.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...