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

Formal Techniques for Distributed Systems

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Techniques for Distributed Systems John Hatcliff
Libristo-Code: 01655975
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2010
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Vollständige Beschreibung
? points 163 b
65.16 € inkl. MwSt.
Externes Lager Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Kde bývajú zvieratká? neuvedený autor / Leporello
common.buy 7.35 €
Christian Apologetics Norman L. Geisler / Broschur
common.buy 29.85 €
Packaging Development Process Kristine DeMaria / Hardcover
common.buy 255.51 €
Ottoman Scramble for Africa Mostafa Minawi / Hardcover
common.buy 130.83 €
Jahre des Umbruchs Clemens Vollnhals / Hardcover
common.buy 70.61 €
Aging and Neuropsychological Assessment Asenath La Rue / Hardcover
common.buy 194.58 €
Cartographies of Exile / Hardcover
common.buy 232.51 €
Interchange Intro Full Contact A with Self-study DVD-ROM Jack C. Richards / Broschur
common.buy 37.42 €
Pierre and His People, [Tales of the Far North], Volume 5. Gilbert Parker / Broschur
common.buy 19.86 €
Foundation for Yoga Practitioners Ulrich Timme Kragh / Hardcover
common.buy 101.37 €
literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel / Hardcover
common.buy 136.13 €
Origins of Free Peoples Jason Caro / Broschur
common.buy 66.87 €
Senilita Italo Svevo / Broschur
common.buy 14.12 €
Grusel, Terror, Videospiel Christoph Hurka / Broschur
common.buy 24.21 €
Marketing im Mittelstand Clemens Renker / Hardcover
common.buy 60.48 €
Itsuka Joy Kogawa / Broschur
common.buy 18.45 €

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. The 13 revised full papers presented together with 6 short papers and the abstract of one invited talk were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on formal UML modeling; components and architecture; timed process algebra; timed and hybrid automata; program logics and analysis; and reasoning about distributed systems.

Informationen zum Buch

Vollständiger Name Formal Techniques for Distributed Systems
Autor John Hatcliff, Elena Zucca
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 233
EAN 9783642134630
ISBN 3642134637
Libristo-Code 01655975
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 386
Abmessungen 159 x 240 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 > Computernetzwerke und maschinelle Kommunikation > Verteilte Systeme
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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