Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 19.08.2026 | Gültig für Spielzeug, Filme, Musik, Software, Games, Elektronik, Geschenke & Trends, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter osiander.de und in der Osiander App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android  | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
Produktbild: 4th Refinement Workshop

4th Refinement Workshop Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge

Aus der Reihe Workshops in Computing

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.06.1991

Abbildungen

VIII, 480 p. 2 illus.

Herausgeber

Joseph M. Morris + weitere

Verlag

Springer Berlin

Seitenzahl

480

Maße (L/B/H)

24,4/17/2,7 cm

Gewicht

841 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-3-540-19657-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.06.1991

Abbildungen

VIII, 480 p. 2 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

480

Maße (L/B/H)

24,4/17/2,7 cm

Gewicht

841 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-3-540-19657-0

Herstelleradresse

Springer Heidelberg
Tiergartenstr. 17
69121 Heidelberg
DE
buchhandel-buch@springer.com

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: 4th Refinement Workshop
  • The Process of Refinement: Introductory Talk to the 4th Refinement Workshop.- Engineering Real Software Using Formal Methods.- Specialising Abstract Programs.- A Refinement Case Study (Using the Abstract Machine Notation).- Assertional Data Reification Proofs: Survey and Perspective.- Formal Methods and the Sociology of Proof.- Refinement Diagrams.- A Case Study in Timed Refinement: A Central Heater.- Object Oriented Specification and Refinement.- The Ecology of Class Refinement.- Transforming Axioms for Data Types into Sequential Programs.- Refinement of Two Graph Problems.- CSP and Timewise Refinement.- The Elusive Software Refinery: A Case Study in Program Development.- A Theory of State-based Parallel Programming: Part 1.- Design, Verification and Documentation of Concurrent Systems.- A Formal Method for Hard Real-Time Programming.- Constructing and Refining Modules in a Type Theory.- The Varieties of Refinement.- Timed Process Algebra, Petri Nets and Event Refinement.- Author Index.