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 2852

Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.2003

Abbildungen

VIII, 512 p.

Herausgeber

Frank S.de Boer + weitere

Verlag

Springer Berlin

Seitenzahl

512

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

785 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20303-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.2003

Abbildungen

VIII, 512 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

512

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

785 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20303-2

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
  • A Tool-Supported Proof System for Multithreaded Java.- Abstract Behavior Types: A Foundation Model for Components and Their Composition.- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.- Live and Let Die: LSC-Based Verification of UML-Models.- Reactive Animation.- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software.- Equivalent Semantic Models for a Distributed Dataspace Architecture.- Java Program Verification Challenges.- ToolBus: The Next Generation.- High-Level Specifications: Lessons from Industry.- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification.- Finding Implicit Contracts in .NET Components.- From Co-algebraic Specifications to Implementation: The Mihda Toolkit.- A Calculus for Modeling Software Components.- Specification and Inheritance in CSP-OZ.- Model-Based Testing of Object-Oriented Systems.- Concurrent Object-Oriented Programs: From Specification to Code.- Design with Asynchronously Communicating Components.- Composition for Component-Based Modeling.- Games for UML Software Design.- Making Components Move: A Separation of Concerns Approach.