Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 13.07.2026 | Gültig für Spielzeug (außer Tonieboxen & ausgewählte Tonies), Filme, Musik, Software, Games, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter osiander.de und in der Osiander App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Elektronik, Geschenke & Trends, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
Produktbild: Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.06.2005

Herausgeber

Martin Steffen + weitere

Verlag

Springer Berlin

Seitenzahl

326

Maße (L/B/H)

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

Gewicht

481 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-26181-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.06.2005

Herausgeber

Verlag

Springer Berlin

Seitenzahl

326

Maße (L/B/H)

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

Gewicht

481 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-26181-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Invited Talk.- Pattern Matching over a Dynamic Network of Tuple Spaces.- Models and Calculi.- A Dynamic Class Construct for Asynchronous Concurrent Objects.- An Abstract Machine for the Kell Calculus.- XPi: A Typed Process Calculus for XML Messaging.- UML.- Checking the Validity of Scenarios in UML Models.- An Extended Type System for OCL Supporting Templates and Transformations.- A Semantics for UML-RT Active Classes via Mapping into Circus.- Security.- Towards an Integrated Formal Analysis for Security and Trust.- A Formal Security Analysis of an OSA/Parlay Authentication Interface.- Composition and Verification.- Tracing Integration Analysis in Component-Based Formal Specifications.- CompAr: Ensuring Safe Around Advice Composition.- Guaranteeing Resource Bounds for Component Software.- Analysis of Java Programs.- Specification and Verification of Encapsulation in Java Programs.- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.- Web Services.- Transforming Information in RDF to Rewriting Logic.- Modeling- and Analysis Techniques for Web Services and Business Processes.- A Distributed Implementation of Mobile Nets as Mobile Agents.- Specification and Verification.- On Correctness of Dynamic Protocol Update.- Property-Driven Development of a Coordination Model for Distributed Simulations.- A Timing Analysis of AODV.