Vor Ort
Merkzettel Warenkorb
  • Produktbild: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  • Produktbild: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Band 1009

KORSO: Methods, Languages, and Tools for the Construction of Correct Software Final Report

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.11.1995

Abbildungen

X, 458 p.

Herausgeber

Manfred Broy + weitere

Verlag

Springer Berlin

Seitenzahl

458

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

703 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60589-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.11.1995

Abbildungen

X, 458 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

458

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

703 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60589-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  • Produktbild: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  • Correct software: From experiments to applications.- A method for the development of correct software.- Realizing sets by hash tables.- Event automata as a generic model of reactive systems.- On object-oriented design and verification.- Design of modular software systems with reuse.- AVL trees revisited: A case study in Spectrum.- KORSO reference languages concepts and application domains.- How to cope with the Spectrum of Spectrum.- A fine-grain sort discipline and its application to formal program construction.- TROLL light — The language and its development environment.- Formalization of algebraic specification in the development language Deva.- Construction and deduction methods for the formal development of software.- Experiences with a specification environment.- Towards correct, efficient and reusable transformational developments.- The verification system Tatzelwurm.- Seduct — A proof compiler for first order logic.- Traverdi — Transformation and verification of distributed systems.- The Kiv-approach to software verification.- Three selected case studies in verification.- Case study “production cell”: A comparative study in formal specification and verification.- The Korso case study for software engineering with formal methods: A medical information system.