Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655975
Price: 60.49 EUR
Availability: InStock
Author: John Hatcliff
ISBN: 9783642134630

Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

John Hatcliff

Elena Zucca

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01655975

148 b

60.49 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Cowboy fur die Liebe Martina Gercke

Broschur

9.95 €

Siegfried. Giganc. Tom 2 wyd. 2025 Lylian

Broschur

8.29 €

Guide Pratique d'Audit Social de Conformité Emmanuel Beck

Broschur

41.99 €

Indirekte Sterbehilfe Sophie Roggendorf

Broschur

38.29 €

BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA

Buch

15.29 €

L'Anneau nuptial ; les aventures d'Arsene Lupin Leblanc

MP3

4.19 €

Mathe.Logo Bayern 8 I - neu Patricia Weixler

Hardcover

31.59 €

Kde bývajú zvieratká? neuvedený autor

Leporello

8.69 €

Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner

Broschur

39.80 €

Überblick über die rechtlichen Regelungen im Ausland erbrachter medizinischer Leistungen am Beispiel der Niederlande Julia Bovensiepen

Broschur

17.95 €

Labutie piesne Pavol Hammel

Audio CD

11.99 €

Europa und der Stier oder der Brautraub des Zeus Konrad Heldmann

Hardcover

146.79 €

Lieber ein Optimist, der sich mal irrt... Peter Hohl

Hardcover

8.60 €

Grusel, Terror, Videospiel Christoph Hurka

Broschur

24.00 €

literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel

Hardcover

173.19 €

Beat Kusagi David Sterritt

Broschur

9.59 €

Der Alpenkönig und der Menschenfeind Ferdinand Raimund

Broschur

5.69 €

Senilita Italo Svevo

Broschur

14.00 €

Marketing im Mittelstand Clemens Renker

Hardcover

72.39 €

Tata a jeho syn Arnošt Goldflam

Audio CD

10.39 €

Jahre des Umbruchs Clemens Vollnhals

Hardcover

110.29 €

Legislatives Unrecht Und Eu-Amtshaftungsanspruch Björn-Peter Säuberlich

Broschur

88.89 €

Hochzeitsreise Charles de Coster

Hardcover

24.90 €

Detektywistyka Brakoniecki Dariusz

Broschur

18.39 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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 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