Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Formal Techniques for Distributed Systems

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Techniques for Distributed Systems David Lee
Libristo-Code: 01649869
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2009
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on F... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

My Mom is Awesome (Danish Book for Kids) Kidkiddos Books / Buch Broschur
common.buy 17.19 €
Ein neues Leben Antje Rávik Strubel / Buch Hardcover
common.buy 24.00 €
Ammiraglia di tutte le zattere Paolo Colavero / Buch Broschur
common.buy 21.29 €
Gomma di Tamarindo Chandana S / Buch Broschur
common.buy 74.39 €
Finitud y tiempo Julian Serna Arango / E-Book Adobe ePub DRM
common.buy 4.49 €
El amor, el sexo y el matrimonio DOVAL / Buch Buch
common.buy 12.99 €
Personal de servicios generales de la administración de la comunidad foral de navarra. Test Editorial Mad / Buch binding.
common.buy 25.69 €
Negligencias médicas en anestesiología y responsabilidad civil del anestesista Gutiérrez Santiago / Buch Broschur
common.buy 44.49 €
Vorstellung Vom Weltgebaude Im Wandel Der Zeiten Svante A. Arrhenius / Buch Broschur
common.buy 38.29 €
Caballos salvajes JORDI CUSSA / Audio Audio CD
common.buy 28.09 €
Repetitorium Schmerztherapie Michael Hatzenbühler / Buch Broschur
common.buy 64.99 €
Palabras con corazón María Eugenia Manrique / Buch Broschur
common.buy 23.39 €

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.§The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Techniques for Distributed Systems
Autor David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2009
Anzahl der Seiten 249
EAN 9783642021374
ISBN 3642021379
Libristo-Code 01649869
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 409
Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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

Das könnte Sie auch interessieren

The Centaur Algernon Blackwood / Buch Broschur
common.buy 20.09 €
Using Student Feedback for Successful Teaching Zierer / Buch Broschur
common.buy 41.19 €
Roger Ludlow, The Colonial Lawmaker John Metcalf Taylor / Buch Hardcover
common.buy 32.79 €
Familiar Spanish Travels William Dean Howells / Buch Broschur
common.buy 43.49 €
Horses Don't Lie Chris Irwin / E-Book Adobe ePub DRM
common.buy 11.29 €
Narcissist: You Can't Love a Narcissist. How to Escape from a Narcissistic Relationship. Recognize Emotional Manipulation and Stop Wendy Jackson / Buch Broschur
common.buy 10.69 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?