Vor Ort
Merkzettel Warenkorb
  • 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

49,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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.