Vor Ort
Merkzettel Warenkorb
  • Produktbild: 6th Refinement Workshop
  • Produktbild: 6th Refinement Workshop

6th Refinement Workshop Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

Aus der Reihe Workshops in Computing

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.07.1994

Abbildungen

X, 309 p. 1 illus.

Herausgeber

David Till

Verlag

Springer Berlin

Seitenzahl

309

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

487 g

Auflage

Softcover reprint of the original 1st ed. 1994

Sprache

Englisch

ISBN

978-3-540-19886-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.07.1994

Abbildungen

X, 309 p. 1 illus.

Herausgeber

David Till

Verlag

Springer Berlin

Seitenzahl

309

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

487 g

Auflage

Softcover reprint of the original 1st ed. 1994

Sprache

Englisch

ISBN

978-3-540-19886-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.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: 6th Refinement Workshop
  • Produktbild: 6th Refinement Workshop
  • Invited Papers.- Using Refinement to Understand Architectural Connection.- Formal Semantics for Ward and Mellor’s Transformation Schemas.- Submitted Papers.- Improving the Process of System Specification and Refinement in B.- Testing and Safety Analysis of AM (Abstract Machine) Specifications.- Formal Development of Authentication Protocols.- Deriving Language Recognition Algorithms. A Case Study in Combining Program Specialisation and Data Refinement.- Program Refinement by Theorem Prover.- Co-Refinement.- Metavariables and Conditional Refinements in the Refinement Calculus.- Machine Code Programs Are Predicates Too.- Laws of Parallel Programming with Shared Variables.- Environment-Based Development of Reactive Systems.- Refinement in Object-Oriented Specification Languages.- Operation Semantics with Read and Write Frames.- Proof Obligations for Real-Time Refinement.- Author Index.