Italiano
Italia
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
FILTRO
- 0 Risultati
prezzo più basso: 119,99 €, prezzo più alto: 142,20 €, prezzo medio: 129,47 €
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. 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: 9783540548348

ID: 808076821

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. Volume 1: Conference Contributions Buch (fremdspr.) Taschenbuch 14.10.1991 Bücher>Fremdsprachige Bücher>Englische Bücher, Springer, .199

Libro nuovo Orellfuessli.ch
No. 1921382. 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: 9783540548348

ID: 836146272

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. Volume 1: Conference Contributions Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Libro nuovo Thalia.de
No. 1921382. 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: 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. 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 il02.02.2018 14:25:10
ISBN/EAN: 3540548343

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


< Per archiviare...
Libri correlati