Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Methods and Hybrid Real-Time Systems
  • Produktbild: Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Aus der Reihe Lecture Notes in Computer Science

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.09.2007

Herausgeber

Cliff B. Jones + weitere

Verlag

Springer Berlin

Seitenzahl

542

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

842 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75220-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.09.2007

Herausgeber

Verlag

Springer Berlin

Seitenzahl

542

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

842 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75220-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Formal Methods and Hybrid Real-Time Systems
  • Produktbild: Formal Methods and Hybrid Real-Time Systems
  • Models and Software Model Checking of a Distributed File Replication System.- From “Formal Methods” to System Modeling.- A Denotational Semantics for Handel-C.- Generating Polynomial Invariants with DISCOVERER and QEPCAD.- Harnessing rCOS for Tool Support —The CoCoME Experience.- Automating Verification of Cooperation, Control, and Design in Traffic Applications.- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.- Relating Domain Concepts Intensionally by Ordering Connections.- Programmable Messaging for Electronic Government - Building a Foundation.- Balancing Insight and Effort: The Industrial Uptake of Formal Methods.- Proving Theorems About JML Classes.- Specification for Testing.- Semantics and Verification of a Language for Modelling Hardware Architectures.- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.- Compensable Programs.- Deriving Specifications for Systems That Are Connected to the Physical World.- Engineering the Development of Embedded Systems.- Design Verification Patterns.- On Revival of Algol-Concepts in Modern Programming and Specification Languages.- Design in CommUnity with Extension Morphisms.- Symbolic Test Generation Using a Temporal Logic with Constrained Events.- Expansive-Bisimulation for Context-Free Processes.- VDM Semantics of Programming Languages: Combinators and Monads.- Formal Approach to Railway Applications.- Services as a Paradigm of Computation.