KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Concurrency, Compositionality, and Correctness
Band 5930

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.02.2010

Abbildungen

377 p. 94 illus.

Herausgeber

Dennis Dams + weitere

Verlag

Springer Berlin

Seitenzahl

377

Maße (B/H)

15,5/23,5 cm

Gewicht

558 g

Sprache

Englisch

ISBN

978-3-642-11511-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.02.2010

Abbildungen

377 p. 94 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

377

Maße (B/H)

15,5/23,5 cm

Gewicht

558 g

Sprache

Englisch

ISBN

978-3-642-11511-0

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

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: Concurrency, Compositionality, and Correctness
  • A Bibliography of Willem-Paul de Roever.- Playing Savitch and Cooking Games.- Compositionality: Ontology and Mereology of Domains.- Computer Science and State Machines.- A Small Step for Mankind.- On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.- Explicit Fair Scheduling for Dynamic Control.- Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.- Reasoning about Recursive Processes in Shared-Variable Concurrency.- Formal Semantics of a VDM Extension for Distributed Embedded Systems.- A Proof System for a PGAS Language.- Concurrent Objects à la Carte.- On the Power of Play-Out for Scenario-Based Programs.- Proving the Refuted: Symbolic Model Checkers as Proof Generators.- Meanings of Model Checking.- Smaller Abstractions for ?CTL* without Next.- Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.- Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.- Automated Proofs for Asymmetric Encryption.- Counterexample Guided Path Reduction for Static Program Analysis.