Free delivery for orders over 69.99 euro

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

Free delivery for purchases over 69.99 €

DPD courier 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro

Formal Techniques for Distributed Systems

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

146 b

59.91 €

In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

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

MP3

4.21 €

15 Informations Importantes sur la Sécurité pour Votre iPhone 15 Alex Grant

Paperback

14.17 €

Totalitarismo 100. Ritorno alla storia Emilio Gentile

Paperback

23.01 €

My Little Pony - Equestria Girls - Rainbow rokkaa Finn

MP3

6.22 €

BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA

Book

13.96 €

Kde bývajú zvieratká? neuvedený autor

Board book

7.83 €

Pakiet. W cieniu PRL-u Aneta Krasińska

Paperback

22.51 €

Apprendre Le Kazakh En s'Amusant - Pour Les Adultes LINGUAS CLASSICS

Paperback

12.36 €

Siegfried. Giganc. Tom 2 wyd. 2025 Lylian

Paperback

7.63 €

Cowboy fur die Liebe Martina Gercke

Paperback

9.04 €

Labutie piesne Pavol Hammel

Audio CD

10.75 €

Guide Pratique d'Audit Social de Conformité Emmanuel Beck

Paperback

37.59 €

literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel

Hardback

157.53 €

Der Alpenkönig und der Menschenfeind Ferdinand Raimund

Paperback

5.72 €

Senilita Italo Svevo

Paperback

12.56 €

Marketing im Mittelstand Clemens Renker

Hardback

68.55 €

Jahre des Umbruchs Clemens Vollnhals

Hardback

100.22 €

Hochzeitsreise Charles de Coster

Hardback

22.21 €

LOS Klaus Merz

Paperback

11.65 €

Grusel, Terror, Videospiel Christoph Hurka

Paperback

21.40 €

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

Hardback

8.74 €

Indirekte Sterbehilfe Sophie Roggendorf

Paperback

36.48 €

Beat Kusagi David Sterritt

Paperback

8.64 €

Mathe.Logo Bayern 8 I - neu Patricia Weixler

Hardback

30.25 €

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.