Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Techniques for Distributed Systems

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

Language

English

Book Paperback

Libristo code: 01655975

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2010

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Full description

Libristo code: 01655975

123 b

50.29 € VAT included

In stock at our supplier Shipping in 14-21 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner

Paperback

39.80 €

Siegfried. Giganc. Tom 2 wyd. 2025 Lylian

Paperback

6.89 €

Guide Pratique d'Audit Social de Conformité Emmanuel Beck

Paperback

39.69 €

BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA

Book

13.39 €

Mathe.Logo Bayern 8 I - neu Patricia Weixler

Hardback

30.09 €

Indirekte Sterbehilfe Sophie Roggendorf

Paperback

37.99 €

Totalitarismo 100. Ritorno alla storia Emilio Gentile

Paperback

19.69 €

Kde bývajú zvieratká? neuvedený autor

Board book

7.49 €

Constitucion de la Confederacion Argentina Linkgua

Paperback

10.19 €

Labutie piesne Pavol Hammel

Audio CD

10.29 €

Cowboy fur die Liebe Martina Gercke

Paperback

9.95 €

Grusel, Terror, Videospiel Christoph Hurka

Paperback

24.00 €

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

Paperback

17.95 €

literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel

Hardback

164.95 €

Beat Kusagi David Sterritt

Paperback

9.59 €

Der Alpenkönig und der Menschenfeind Ferdinand Raimund

Paperback

5.39 €

Senilita Italo Svevo

Paperback

14.00 €

Marketing im Mittelstand Clemens Renker

Hardback

66.00 €

Tata a jeho syn Arnošt Goldflam

Audio CD

7.89 €

Jahre des Umbruchs Clemens Vollnhals

Hardback

94.49 €

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

Hardback

8.60 €

Hochzeitsreise Charles de Coster

Hardback

24.90 €

Detektywistyka Brakoniecki Dariusz

Paperback

14.89 €

LOS Klaus Merz

Paperback

12.95 €

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.