Italiano
Italia
registrati
Soffiata di eurolibro.it
Libri simili
Altri libri che potrebbero essere simili a questo:
Strumento di ricerca
Libri consigliati
Attuale
Pubblicità
FILTRO
- 0 Risultati
prezzo più basso: 86,11 €, prezzo più alto: 149,92 €, prezzo medio: 124,24 €
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Prehn, Soren / Toetenel, Hans (eds.)
libro esaurito
(*)
Prehn, Soren / Toetenel, Hans (eds.):
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - edizione con copertina flessibile

ISBN: 9783540548348

[ED: Softcover], [PU: Springer, Berlin], 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 VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of researchers, software engineers, and programmers, allinterested in promoting 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 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. Volume 2 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. xv, 705 S. XV, 705 p. Versandfertig in 3-5 Tagen, DE, Neuware, gewerbliches Angebot, offene Rechnung (Vorkasse vorbehalten)

Libro nuovo Booklooker.de
buecher.de GmbH & Co. KG
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. 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: 9783540548348

ID: 9783540548348

Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Software Engineering; Logics and Meanings of Programs Bedeutung von Programmen, Formale Methoden, Program Verification, Programm Verifikatiuon, Reasoning about Programs, Software Development, Software Entwicklung, Software Specification, Software-SpecifiKation, 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. ... (Lecture Notes in Computer Science) - Prehn, Soren [Editor]; Toetenel, Hans [Editor];
libro esaurito
(*)
Prehn, Soren [Editor]; Toetenel, Hans [Editor];:
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... (Lecture Notes in Computer Science) - edizione con copertina flessibile

1991, ISBN: 9783540548348

ID: 862957078

Springer, 1991-11-15. Paperback. Good. Ex-library paperback in good condition with the usual markings and attachments., Springer, 1991-11-15

libro usato Biblio.com
GuthrieBooks
Costi di spedizione: EUR 21.41
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. ... (Lecture Notes in Computer Science) - Soren Prehn (Editor), Hans Toetenel (Editor)
libro esaurito
(*)
Soren Prehn (Editor), Hans Toetenel (Editor):
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... (Lecture Notes in Computer Science) - edizione con copertina flessibile

1991, ISBN: 9783540548348

ID: 599409901

Springer, 1991-11-15. 1991. Paperback. Used:Good., Springer, 1991-11-15

libro usato Biblio.com
Ergodebooks
Costi di spedizione: EUR 12.85
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: 9783540548348

ID: 763363

Volume 1: Conference Contributions, 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 VDM Europe, formedin 1985 as an advisory board sponsored by the Commission ofthe European Communities. The VDM Europe working groupconsisted of researchers, software engineers, andprogrammers, allinterested in promoting 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 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.Volume 2 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): 9783540548348
ISBN (ISBN-10): 3540548343
Copertina flessibile
Anno di pubblicazione: 1991
Editore: Springer-Verlag GmbH
720 Pagine
Peso: 1,069 kg
Lingua: eng/Englisch

Libro nella banca dati dal 18.10.2007 16:12:32
libro trovato per l'ultima volta il19.11.2017 19:23:49
ISBN/EAN: 3540548343

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


< Per archiviare...
Libri correlati