registrati
Soffiata di eurolibro.it
Libri simili
Altri libri che potrebbero essere simili a questo:
Strumento di ricerca
Libri consigliati
Attuale
Pubblicità
Annuncio a pagamento
- 0 Risultati
prezzo più basso: € 22,18, prezzo più alto: € 111,18, prezzo medio: € 81,50
VDM ´91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Procee - Soren Prehn#Hans Toetenel
libro esaurito
(*)
Soren Prehn#Hans Toetenel:
VDM ´91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Procee - nuovo libro

ISBN: 9783540548683

ID: 808076797

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 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains the conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, THE B Method, and The Stack). They present a comprehensive account of the state of theart. Volume 2: Tutorials Buch (fremdspr.) Taschenbuch 14.10.1991 Bücher>Fremdsprachige Bücher>Englische Bücher, Springer, .199

Libro nuovo Orellfuessli.ch
No. 1921383. Costi di spedizione:Kein Versand in Ihr Zielland., Costi di spedizione aggiuntivi
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
VDM ´91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Procee - Soren Prehn#Hans Toetenel
libro esaurito
(*)
Soren Prehn#Hans Toetenel:
VDM ´91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Procee - nuovo libro

ISBN: 9783540548683

ID: 836146261

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 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains the conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, THE B Method, and The Stack). They present a comprehensive account of the state of theart. Volume 2: Tutorials Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Libro nuovo Thalia.de
No. 1921383. Costi di spedizione:, Versandfertig in 2 - 3 Tagen, DE. (EUR 0.00)
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Soren Prehn; Hans Toetenel
libro esaurito
(*)
Soren Prehn; Hans Toetenel:
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - nuovo libro

ISBN: 9783540548683

ID: 9783540548683

Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Software Engineering; Logics and Meanings of Programs 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 Books, Springer Nature

Libro nuovo Springer.com
Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... Tutorials (Lecture Notes in Computer Science) - Hans Toetenel, Soren Prehn
libro esaurito
(*)
Hans Toetenel, Soren Prehn:
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... Tutorials (Lecture Notes in Computer Science) - edizione con copertina flessibile

ISBN: 3540548688

Taschenbuch, [EAN: 9783540548683], Springer, Springer, Book, [PU: Springer], Springer, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher

libro usato Amazon.de (Intern...
betterworldbooks__
Gebraucht Costi di spedizione:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Soren Prehn; Hans Toetenel
libro esaurito
(*)
Soren Prehn; Hans Toetenel:
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - edizione con copertina flessibile

1991, ISBN: 9783540548683

ID: 763364

Volume 2: Tutorials, 1991, Softcover, Buch, [PU: Springer Berlin]

Libro nuovo Lehmanns.de
Costi di spedizione:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.

Dettagli del libro
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

The proceedings of the fourth Vienna Development MethodSymposium, VDM '91, are published here in two volumes.Previous VDM symposia were held in 1987 (LNCS 252), 1988(LNCS 328), and 1990 (LNCS 428).The VDM symposia have been organized by the VDM Europe,formed in 1985 as an advisory board sponsored by theCommission of the European Communities. The VDM Europeworking group consisted of reasearchers, software engineers,and programmers, all interested in prommoting the industrialusage of formal methods for software development. The fourthVDM symposium presented not only VDM but also a large numberof other methods for formal software development.Volume 1 contains the conference contributions. It has fourparts: contributions of invited speakers, papers, projectreports, and tools demonstration abstracts. The emphasis ison methods and calculi for development, verification andverification tools support, experiences from doingdevelopments, and the associated theoretical problems.Volume2 contains four introductory tutorials (on LARCH,Refinement Calculus, VDM, and RAISE) and four advancedtutorials (on ABEL, PROSPECTRA, THE B Method, and TheStack). They present a comprehensive account of the state oftheart.

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): 9783540548683
ISBN (ISBN-10): 3540548688
Copertina flessibile
Anno di pubblicazione: 1991
Editore: Springer-Verlag GmbH
448 Pagine
Peso: 0,672 kg
Lingua: eng/Englisch

Libro nella banca dati dal 04.04.2007 20:05:59
libro trovato per l'ultima volta il03.08.2018 22:50:28
ISBN/EAN: 3540548688

ISBN - Stili di scrittura alternativi:
3-540-54868-8, 978-3-540-54868-3


< Per archiviare...
Libri correlati