KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour KORSO: Methods, Languages, and Tools for the Construction...
Image fournie par le vendeur
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
Edité par
Springer Science & Business Media, 1995
ISBN 10 : 3540605894
ISBN 13 : 9783540605898
Ancien ou d'occasion
Softcover
Vendeur : Bookbot, Prague, Rébublique tchèque
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Fair. Aus Bibliothek aussortiert; Leichte Rillen / Abschürfungen / Risse / Knicke. 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. N° de réf. du vendeur 7cfb815d-4bcc-4e3c-a6cd-3f92511b576c
Acheter D'occasion
EUR 3,80
Expédition à EUR 20,99
Expédition depuis Rébublique tchèque vers Etats-Unis
Expédition depuis Rébublique tchèque vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Edité par
Berlin Springer, 1995
ISBN 10 : 3540605894
ISBN 13 : 9783540605898
Ancien ou d'occasion
BN.
Vendeur : Wimbauer Buchversand, Hagen, NRW, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
BN. Etat : Gut. 449 S. exBibliotheksexemplar mit den üblichen Stempeln/Signaturen, Kanten etwas berieben / bestossen, etwas angegrauter Einband, papierbedingte Seitenbräunung /// Standort Wimregal ISS-09220 ISBN 3540605894 Sprache: Englisch Gewicht in Gramm: 638. N° de réf. du vendeur 128210
Acheter D'occasion
EUR 12,80
Expédition à EUR 15
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report Lecture Notes in Computer Science, 1009
Edité par
Springer, 1995
ISBN 10 : 3540605894
ISBN 13 : 9783540605898
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. 449 Seiten Der Buchzustand ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 635. N° de réf. du vendeur 2143196
Acheter D'occasion
EUR 12,45
Expédition à EUR 15,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report
Edité par
Springer Berlin / Heidelberg, 1995
ISBN 10 : 3540605894
ISBN 13 : 9783540605898
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 55797191-6
Acheter D'occasion
EUR 33
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science, 1009)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540605898_new
Acheter neuf
EUR 59,97
Expédition à EUR 13,83
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540605898
Acheter neuf
EUR 57,05
Expédition à EUR 17,88
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1995, 1995
ISBN 10 : 3540605894
ISBN 13 : 9783540605898
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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. 468 pp. Englisch. N° de réf. du vendeur 9783540605898
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Edité par
Springer Berlin Heidelberg, 1995
ISBN 10 : 3540605894
ISBN 13 : 9783540605898
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 theoreti. N° de réf. du vendeur 4895283
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Edité par
Springer, Springer Nov 1995, 1995
ISBN 10 : 3540605894
ISBN 13 : 9783540605898
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 468 pp. Englisch. N° de réf. du vendeur 9783540605898
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report
Edité par
Springer Berlin Heidelberg, 1995
ISBN 10 : 3540605894
ISBN 13 : 9783540605898
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540605898
Acheter neuf
EUR 53,49
Expédition à EUR 63,52
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)