Produktbild: Concurrency, Compositionality, and Correctness
Band 5930

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

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.02.2010

Abbildungen

94 illus., schwarz-weiss Illustrationen

Herausgeber

Dennis Dams + weitere

Verlag

Springer Berlin

Seitenzahl

377

Maße (L/B/H)

24/15,7/2,8 cm

Gewicht

558 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-11511-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.02.2010

Abbildungen

94 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

377

Maße (L/B/H)

24/15,7/2,8 cm

Gewicht

558 g

Auflage

2010

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 6221 3454301
Fax: +49 30 8214091

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • 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.