Von dem Buch KORSO - Methods, Languages, Tools for the Construction of Correct Software haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Broy, Manfred and Stefan Jähnichen : KORSO - Methods, Languages, Tools for the Construction of Correct Software (ISBN: 9783540605898) 1995, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
64%: Manfred Broy; Stefan Jähnichen: KORSO: Methods, Languages, and Tools for the Construction of Correct Software (ISBN: 9783540478027) Springer Nature, in Deutsch, auch als eBook.Nur diese Ausgabe anzeigen…
KORSO - Methods, Languages, Tools for the Construction of Correct Software
9 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 | 2021 |
|---|---|---|---|---|---|
| Schnitt | € 70,56 | € 47,27 | € 67,34 | € 67,08 | € 65,73 |
| Nachfrage |
1
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
DE PB NWISBN: 9783540605898 bzw. 3540605894, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.x, 458 S. X, 458 p.Versandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.x, 458 S. X, 458 p.Versandfertig in 3-5 Tagen, Softcover.
2
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report: Final Report (Paperback) (1995)
DE PB NW RPISBN: 9783540605898 bzw. 3540605894, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: English Brand New Book ***** Print on Demand *****.This book constitutes the final report of the work carried out in the project KORSO ( Korrekte Software ) funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
Language: English Brand New Book ***** Print on Demand *****.This book constitutes the final report of the work carried out in the project KORSO ( Korrekte Software ) funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
3
KORSO: Methods, Languages, and Tools for the Construction of Correct Software (1995)
~EN PB NWISBN: 9783540605898 bzw. 3540605894, vermutlich in Englisch, 468 Seiten, Springer Berlin Heidelberg, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland.
Von Händler/Antiquariat, AHA-BUCH GmbH, [4009276].
Neuware - This book constitutes the final report of the work carried out in the project KORSO ('Korrekte Software') funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.- Besorgungstitel - vorauss. Lieferzeit 3-5 Tage. 08.11.1995, Taschenbuch, Neuware, 235x155x25 mm, 703g, 468, Internationaler Versand, Banküberweisung, Offene Rechnung, Kreditkarte, PayPal, Offene Rechnung (Vorkasse vorbehalten).
Von Händler/Antiquariat, AHA-BUCH GmbH, [4009276].
Neuware - This book constitutes the final report of the work carried out in the project KORSO ('Korrekte Software') funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.- Besorgungstitel - vorauss. Lieferzeit 3-5 Tage. 08.11.1995, Taschenbuch, Neuware, 235x155x25 mm, 703g, 468, Internationaler Versand, Banküberweisung, Offene Rechnung, Kreditkarte, PayPal, Offene Rechnung (Vorkasse vorbehalten).
4
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
EN PB NWISBN: 9783540605898 bzw. 3540605894, in Englisch, Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Taschenbuch, neu.
Final Report, This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology.
5
Symbolbild
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science, 1009) (1995)
~EN PB NWISBN: 9783540605898 bzw. 3540605894, vermutlich in Englisch, Springer, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: DEU.
Von Händler/Antiquariat, GridFreed LLC.
Springer, 1995-11-08. Paperback. New. New.
Von Händler/Antiquariat, GridFreed LLC.
Springer, 1995-11-08. Paperback. New. New.
6
Symbolbild
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science) (1995)
~EN PB USISBN: 9783540605898 bzw. 3540605894, vermutlich in Englisch, Springer, Taschenbuch, gebraucht, guter Zustand.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: DEU.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1995-11-22. Paperback. Used: Good.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1995-11-22. Paperback. Used: Good.
7
Symbolbild
KORSO: methods, languages, and tools for the construction of correct software : final report. Stefan Jähnichen (ed.), Lecture notes in computer science
DE USISBN: 3540605894 bzw. 9783540605898, in Deutsch, Berlin , Heidelberg , New York , Barcelona , Budapest , Hong Kong , London , Milan , Paris , Santa Clara , Singapore , Tokyo : Springer, 1995. gebraucht.
Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Antiquariat Dr. Götzhaber, [2700].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Antiquariat Dr. Götzhaber, [2700].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
KORSO - Methods, Languages, Tools for the Construction of Correct Software (1995)
DE USISBN: 9783540605898 bzw. 3540605894, in Deutsch, Berlin Springer, gebraucht.
Wimbauer Buchversand, [3083598].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
DE NW EBISBN: 9783540478027 bzw. 3540478027, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…