[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Formal Methods for Open Object-Based Distributed Systems

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods for Open Object-Based Distributed Systems Martin Steffen
Libristo-Code: 01560735
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2005
This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Fo... Vollständige Beschreibung
? points 161 b
64.16 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Dna moczanowa Dieta i jadlospisy dla smakoszy Marcin Majewski / Broschur
common.buy 9.07 €
Die 30 besten Urlaubs- und Sommerlieder Simone Sommerland / Audio CD
common.buy 11.59 €
Porno Irvine Welsh / Broschur
common.buy 11.09 €
Herbert A. Simon Hunter Crowther-Heyck / Hardcover
common.buy 76.27 €
Exporting the American Model Marie-Laure Djelic / Broschur
common.buy 84.84 €
The Egyptian Cinderella Shirley Climo / Broschur
common.buy 9.57 €
Neurophysiological Bases of Auditory Perception Enrique A. Lopez-Poveda / Hardcover
common.buy 251.32 €
Formal Methods: Foundations and Applications Lucas Lima / Broschur
common.buy 69.81 €
Processing and Nutrition of Fats and Oils Ernesto Hernandez / Hardcover
common.buy 253.95 €
Disorder and Strain-Induced Complexity in Functional Materials Tomoyuki Kakeshita / Broschur
common.buy 194.62 €
Asche und Rubin Monika Taubitz / Broschur
common.buy 21.19 €
Europe's Foreign and Security Policy Michael E. Smith / Broschur
common.buy 48.12 €

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). §The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.

Informationen zum Buch

Vollständiger Name Formal Methods for Open Object-Based Distributed Systems
Autor Martin Steffen, Gianluigi Zavattaro
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2005
Anzahl der Seiten 326
EAN 9783540261810
ISBN 3540261818
Libristo-Code 01560735
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1060
Abmessungen 155 x 235 x 19

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto