- 5 Results
Lowest price: € 44.14, highest price: € 166.26, average price: € 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
Order
at booklooker.de
€ 48.45
Shipment: € 0.001
Order
Provider details
Sponsored 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 - First edition

1991, ISBN: 9783540548683

Paperback

[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… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
close (x)
2
Order
at Biblio.co.uk
$ 67.63
(aprox. € 62.56)
Shipment: € 4.701
Order
Provider details
Sponsored 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 - new book

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… More...

Shipping costs: EUR 4.70 Ria Christie Collections
close (x)
3
Order
at Biblio.co.uk
$ 179.74
(aprox. € 166.26)
Shipment: € 19.421
Order
Provider details
Sponsored 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) - Paperback

1991

ISBN: 9783540548683

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

Shipping costs: EUR 19.42 Ergodebooks
close (x)
4
VDM '91. Formal Software Development Methods. - Prehn, Toetenel
Order
at buchfreund.de
€ 44.14
Shipment: € 5.901
Order
Provider details
Sponsored link
Prehn, Toetenel:
VDM '91. Formal Software Development Methods. - Paperback

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

Shipping costs:Versandkosten innerhalb der BRD. (EUR 5.90) Mosakowski GbR, 65428 Rüsselsheim am Main
close (x)
5
VDM '91. Formal Software Development Methods. - Prehn and Toetenel
Order
at Achtung-Buecher.de
€ 44.14
Shipment: € 0.001
Order
Provider details
Sponsored link
Prehn and Toetenel:
VDM '91. Formal Software Development Methods. - Paperback

1991, ISBN: 3540548688

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

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
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)
Author:
Title:
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.

Details of the book - 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
Paperback
Publishing year: 1991
Publisher: Springer
448 Pages
Weight: 0,672 kg
Language: eng/Englisch

Book in our database since 2007-04-04T19:05:59+01:00 (London)
Detail page last modified on 2024-04-03T08:39:31+01:00 (London)
ISBN/EAN: 3540548688

ISBN - alternate spelling:
3-540-54868-8, 978-3-540-54868-3
Alternate spelling and related search-keywords:
Book author: vdm, han sor, much hans, prehn, hans soren
Book title: 1991 band, netherlands, formal methods, formal software development, vdm, october, noor, noordwijk, the tutorial, looking for europe, ufo symposium, international, proceedings

Information from Publisher

Author: Soren Prehn; Hans Toetenel
Title: 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
Publisher: Springer; Springer Berlin
433 Pages
Publishing year: 1991-10-14
Berlin; Heidelberg; DE
Language: English
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.
< to archive...