KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 11.11.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Formal Methods for Components and Objects
  • Produktbild: Formal Methods for Components and Objects
Band 4111

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.08.2006

Abbildungen

VIII, 429 p.

Herausgeber

Frank S. de Boer + weitere

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-36749-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.08.2006

Abbildungen

VIII, 429 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-36749-9

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: Formal Methods for Components and Objects
  • Produktbild: Formal Methods for Components and Objects
  • Component and Service Oriented Computing.- A Software Component Model and Its Preliminary Formalisation.- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.- System Design.- Control of Modular and Distributed Discrete-Event Systems.- Model-Based Security Engineering with UML: Introducing Security Aspects.- The Pragmatics of STAIRS.- Tools.- Smallfoot: Modular Automatic Assertion Checking with Separation Logic.- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.- Algebraic Methods.- Beyond Bisimulation: The “up-to” Techniques.- Separation Results Via Leader Election Problems.- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.- Model Checking.- Abstraction and Refinement in Model Checking.- Program Compatibility Approaches.- Cluster-Based LTL Model Checking of Large Systems.- Safety and Liveness in Concurrent Pointer Programs.- Assertional Methods.- Modular Specification of Encapsulated Object-Oriented Components.- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.- Boogie: A Modular Reusable Verifier for Object-Oriented Programs.- Quantitative Analysis.- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.- Partial Order Reduction for Markov Decision Processes: A Survey.