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 € DPD courier 3.99 € DPD point 2.99 €

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

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

148 b

60.49 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

30-day return policy

Customers also purchased

Cowboy fur die Liebe Martina Gercke

Paperback

9.95 €

Siegfried. Giganc. Tom 2 wyd. 2025 Lylian

Paperback

8.29 €

Guide Pratique d'Audit Social de Conformité Emmanuel Beck

Paperback

41.99 €

Indirekte Sterbehilfe Sophie Roggendorf

Paperback

38.29 €

BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA

Book

15.29 €

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

MP3

4.19 €

Mathe.Logo Bayern 8 I - neu Patricia Weixler

Hardback

31.59 €

Kde bývajú zvieratká? neuvedený autor

Board book

8.69 €

Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner

Paperback

39.80 €

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

Paperback

17.95 €

Labutie piesne Pavol Hammel

Audio CD

11.99 €

Europa und der Stier oder der Brautraub des Zeus Konrad Heldmann

Hardback

146.79 €

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

Hardback

8.60 €

Grusel, Terror, Videospiel Christoph Hurka

Paperback

24.00 €

literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel

Hardback

173.19 €

Beat Kusagi David Sterritt

Paperback

9.59 €

Der Alpenkönig und der Menschenfeind Ferdinand Raimund

Paperback

5.69 €

Senilita Italo Svevo

Paperback

14.00 €

Marketing im Mittelstand Clemens Renker

Hardback

72.39 €

Tata a jeho syn Arnošt Goldflam

Audio CD

10.39 €

Jahre des Umbruchs Clemens Vollnhals

Hardback

110.29 €

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

Paperback

88.89 €

Hochzeitsreise Charles de Coster

Hardback

24.90 €

Detektywistyka Brakoniecki Dariusz

Paperback

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.