- 5 Risultati
prezzo più basso: € 44,14, prezzo più alto: € 166,26, prezzo medio: € 73,11
1
VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Prehn, Soren Toetenel, Hans
Ordina
da booklooker.de
€ 48,45
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Prehn, Soren Toetenel, Hans:

VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Prima edizione

1991, ISBN: 9783540548683

edizione con copertina flessibile

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The proceedings of the fo… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
Chiudere (X)
2
Ordina
da Biblio.co.uk
$ 67,63
(indicativi € 62,56)
Spedizione: € 4,701
Ordina
Dettagli del offerente
Link sponsorizzato

Soren Prehn:

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 2: Tutorials - nuovo libro

ISBN: 9783540548683

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Net… Altro …

Costi di spedizione: EUR 4.70 Ria Christie Collections
Chiudere (X)
3
Ordina
da Biblio.co.uk
$ 179,74
(indicativi € 166,26)
Spedizione: € 19,421
Ordina
Dettagli del offerente
Link sponsorizzato
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. ... Tutorials (Lecture Notes in Computer Science) - edizione con copertina flessibile

1991

ISBN: 9783540548683

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

Costi di spedizione: EUR 19.42 Ergodebooks
Chiudere (X)
4
VDM '91. Formal Software Development Methods. - Prehn, Toetenel
Ordina
da buchfreund.de
€ 44,14
Spedizione: € 5,901
Ordina
Dettagli del offerente
Link sponsorizzato
Prehn, Toetenel:
VDM '91. Formal Software Development Methods. - edizione con copertina flessibile

1991, ISBN: 9783540548683

444 Seiten Taschenbuch ex Library Book / aus einer wissenschaftlichen Bibliothek Versand D: 5,90 EUR BUCH, [KW:BUCH], [PU:Springer Berlin Heidelberg,]

Costi di spedizione:Versandkosten innerhalb der BRD. (EUR 5.90) Mosakowski GbR, 65428 Rüsselsheim am Main
Chiudere (X)
5
VDM '91. Formal Software Development Methods. - Prehn and Toetenel
Ordina
da Achtung-Buecher.de
€ 44,14
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Prehn and Toetenel:
VDM '91. Formal Software Development Methods. - edizione con copertina flessibile

1991, ISBN: 3540548688

Taschenbuch 444 Seiten Taschenbuch ex Library Book / aus einer wissenschaftlichen Bibliothek, [KW:BUCH] 3, [PU:Springer Berlin Heidelberg,]

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
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)
Autore:
Titolo:
ISBN:

3540548688


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. ... Notes in Computer Science, 552, Band 2)


EAN (ISBN-13): 9783540548683
ISBN (ISBN-10): 3540548688
Copertina flessibile
Anno di pubblicazione: 1991
Editore: Springer
448 Pagine
Peso: 0,672 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-04-04T20:05:59+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-04-03T09:39:31+02:00 (Rome)
ISBN/EAN: 3540548688

ISBN - Stili di scrittura alternativi:
3-540-54868-8, 978-3-540-54868-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : vdm, han sor, much hans, prehn, hans soren
Titolo del libro: 1991 band, netherlands, formal methods, formal software development, vdm, october, noor, noordwijk, the tutorial, looking for europe, ufo symposium, international, proceedings

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: 1991-10-14
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XV, 433 p.

BC; Hardcover, Softcover / 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; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Theoretische Informatik; EA

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.
< Per archiviare...