- 5 Ergebnisse
Kleinster Preis: € 44,14, größter Preis: € 166,26, Mittelwert: € 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
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Prehn, Soren Toetenel, Hans:

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

1991, ISBN: 9783540548683

Taschenbuch

[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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
2
Bestellen
bei Biblio.co.uk
$ 67,63
(ca. € 62,56)
Versand: € 4,701
Bestellen
Details beim Anbieter
gesponserter Link

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 - neues Buch

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… Mehr…

Versandkosten: EUR 4.70 Ria Christie Collections
zuklappen (X)
3
Bestellen
bei Biblio.co.uk
$ 179,74
(ca. € 166,26)
Versand: € 19,421
Bestellen
Details beim Anbieter
gesponserter Link
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) - Taschenbuch

1991

ISBN: 9783540548683

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

Versandkosten: EUR 19.42 Ergodebooks
zuklappen (X)
4
VDM '91. Formal Software Development Methods. - Prehn, Toetenel
Bestellen
bei buchfreund.de
€ 44,14
Versand: € 5,901
Bestellen
Details beim Anbieter
gesponserter Link
Prehn, Toetenel:
VDM '91. Formal Software Development Methods. - Taschenbuch

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,]

Versandkosten:Versandkosten innerhalb der BRD. (EUR 5.90) Mosakowski GbR, 65428 Rüsselsheim am Main
zuklappen (X)
5
VDM '91. Formal Software Development Methods. - Prehn and Toetenel
Bestellen
bei Achtung-Buecher.de
€ 44,14
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Prehn and Toetenel:
VDM '91. Formal Software Development Methods. - Taschenbuch

1991, ISBN: 3540548688

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
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)
Autor:
Titel:
ISBN-Nummer:

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.

Detailangaben zum Buch - 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
Taschenbuch
Erscheinungsjahr: 1991
Herausgeber: Springer
448 Seiten
Gewicht: 0,672 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-04-04T20:05:59+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-03T09:39:31+02:00 (Zurich)
ISBN/EAN: 3540548688

ISBN - alternative Schreibweisen:
3-540-54868-8, 978-3-540-54868-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: vdm, han sor, much hans, prehn, hans soren
Titel des Buches: 1991 band, netherlands, formal methods, formal software development, vdm, october, noor, noordwijk, the tutorial, looking for europe, ufo symposium, international, proceedings

Daten vom Verlag:

Autor/in: Soren Prehn; Hans Toetenel
Titel: 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
Verlag: Springer; Springer Berlin
433 Seiten
Erscheinungsjahr: 1991-10-14
Berlin; Heidelberg; DE
Sprache: Englisch
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.
< zum Archiv...