Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655975
Price: 56.03 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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01655975

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2010

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Celý popis

Libristo kód: 01655975

136 b

56.03 €

Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Marketing im Mittelstand Clemens Renker

Pevná

69.69 €

literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel

Pevná

159.21 €

Cowboy fur die Liebe Martina Gercke

Brožovaná

9.09 €

Labutie piesne Pavol Hammel

Audio CD

11.02 €

Totalitarismo 100. Ritorno alla storia Emilio Gentile

Brožovaná

24.27 €

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

MP3

3.94 €

BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA

Kniha

14.86 €

Siegfried. Giganc. Tom 2 wyd. 2025 Lylian

Brožovaná

7.88 €

Europa und der Stier oder der Brautraub des Zeus Konrad Heldmann

Pevná

136.55 €

Guide Pratique d'Audit Social de Conformité Emmanuel Beck

Brožovaná

40.15 €

Mathe.Logo Bayern 8 I - neu Patricia Weixler

Pevná

30.44 €

Indirekte Sterbehilfe Sophie Roggendorf

Brožovaná

36.81 €

Kde bývajú zvieratká? neuvedený autor

Leporelo

7.17 €

Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner

Brožovaná

35.60 €

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

Brožovaná

16.18 €

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

Pevná

7.48 €

Grusel, Terror, Videospiel Christoph Hurka

Brožovaná

21.54 €

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

Brožovaná

85.47 €

Beat Kusagi David Sterritt

Brožovaná

9.20 €

LOS Klaus Merz

Brožovaná

11.72 €

Detektywistyka Brakoniecki Dariusz

Brožovaná

17.89 €

Hochzeitsreise Charles de Coster

Pevná

22.35 €

Jahre des Umbruchs Clemens Vollnhals

Pevná

106.21 €

Tata a jeho syn Arnošt Goldflam

Audio CD

7.98 €

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.