Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender 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. Nur gültig mit im Onlineshop hinterlegter Bonuscard. 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 Open Object-Based Distributed Systems
  • Produktbild: Formal Methods for Open Object-Based Distributed Systems
Band 4468

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.05.2007

Abbildungen

X, 317 p.

Herausgeber

Marcello M. Bonsangue + weitere

Verlag

Springer Berlin

Seitenzahl

317

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

505 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-72919-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.05.2007

Abbildungen

X, 317 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

317

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

505 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-72919-8

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 Open Object-Based Distributed Systems
  • Produktbild: Formal Methods for Open Object-Based Distributed Systems
  • Invited Talks.- Asynchronous Session Types and Progress for Object Oriented Languages.- KeY: A Formal Method for Object-Oriented Systems.- Model Checking.- Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.- Model Checking of Extended OCL Constraints on UML Models in SOCLe.- Analysis of UML Activities Using Dynamic Meta Modeling.- Rewriting Logic.- Distributed Applications Implemented in Maude with Parameterized Skeletons.- On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.- Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.- Components and Services.- Adaptation of Open Component-Based Systems.- A Representation-Independent Behavioral Semantics for Object-Oriented Components.- A Formal Language for Electronic Contracts.- Algebraic Calculi.- A Mechanized Model of the Theory of Objects.- Pict Correctness Revisited.- Specification, Verfication and Refinenment.- A Refinement Method for Java Programs.- Refactoring Object-Oriented Specifications with Data and Processes.- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.- Quality of Service.- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.- A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.- On Resource-Sensitive Timed Component Connectors.