VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Procee - nuovo libro
ISBN: 9783540464563
The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 199… Altro …
Springer.com new in stock. Costi di spedizione:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540464563
The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 199… Altro …
Springer.com Nr. 978-3-540-46456-3. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - nuovo libro
ISBN: 9783540464563
Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Software Engineering; Logics and Meanings of Programs Bedeutung von Programmen, Formale Me… Altro …
Springer.com Costi di spedizione:zzgl. Versandkosten, Costi di spedizione aggiuntivi Details... |
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - nuovo libro
ISBN: 9783540464563
Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Software Engineering; Logics and Meanings of Programs Bedeutung von Programmen, Formale Me… Altro …
Springer.com Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Procee - nuovo libro
ISBN: 9783540464563
The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 199… Altro …
ISBN: 9783540464563
The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 199… Altro …
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - nuovo libro
ISBN: 9783540464563
Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Software Engineering; Logics and Meanings of Programs Bedeutung von Programmen, Formale Me… Altro …
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - nuovo libro
ISBN: 9783540464563
Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Software Engineering; Logics and Meanings of Programs Bedeutung von Programmen, Formale Me… Altro …
Dati bibliografici del miglior libro corrispondente
Informazioni dettagliate del libro - VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
EAN (ISBN-13): 9783540464563
Editore: Springer Science+Business Media
Libro nella banca dati dal 2016-12-24T17:14:39+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-31T20:39:33+01:00 (Zurich)
ISBN/EAN: 9783540464563
ISBN - Stili di scrittura alternativi:
978-3-540-46456-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : hans soren
Titolo del libro: looking for europe, software, international
Dati dell'editore
Autore: Soren Prehn; Hans Toetenel
Titolo: Lecture Notes in Computer Science; VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Volume 2: Tutorials
Editore: Springer; Springer Berlin
433 Pagine
Anno di pubblicazione: 2005-11-13
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XV, 433 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Bedeutung von Programmen; Formale Methoden; Programm Verification; Programm Verifikation; Reasoning About Programs; Software Development; Software Entwicklung; Software Specification; Software Spezifikation; Vienna Development Method; formal method; verification; C; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Computer Science; Theoretische Informatik; BC
A tutorial on Larch and LCL, a Larch/C interface language.- A tutorial on the refinement calculus.- Tutorial lecture notes on the Irish School of the VDM.- The RAISE specification language a tutorial.- Formal Development with ABEL.- The PROSPECTRA methodology and system: uniform transformational (meta-) development.- The B-method.- Mathematical methods for digital systems development.The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540464495 VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings (Soren Prehn; Hans Toetenel)
- 9783540464495 VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings (Soren Prehn; Hans Toetenel)
- 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)
- 9783540548348 VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings (Soren Prehn; Hans Toetenel)
< Per archiviare...