Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Techniques for Distributed Systems

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

152 b

22 290 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Cowboy fur die Liebe Martina Gercke

Paperback

3 535 Ft

Siegfried. Giganc. Tom 2 wyd. 2025 Lylian

Paperback

2 804 Ft

Guide Pratique d'Audit Social de Conformité Emmanuel Beck

Paperback

15 612 Ft

Indirekte Sterbehilfe Sophie Roggendorf

Paperback

14 187 Ft

BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA

Book

5 284 Ft

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

MP3

1 407 Ft

Mathe.Logo Bayern 8 I - neu Patricia Weixler

Hardback

11 679 Ft

Kde bývajú zvieratká? neuvedený autor

Board book

3 022 Ft

Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner

Paperback

13 808 Ft

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

Paperback

6 279 Ft

Labutie piesne Pavol Hammel

Audio CD

4 081 Ft

Europa und der Stier oder der Brautraub des Zeus Konrad Heldmann

Hardback

51 872 Ft

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

Hardback

2 906 Ft

Grusel, Terror, Videospiel Christoph Hurka

Paperback

8 380 Ft

literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel

Hardback

59 368 Ft

Beat Kusagi David Sterritt

Paperback

3 549 Ft

Der Alpenkönig und der Menschenfeind Ferdinand Raimund

Paperback

2 115 Ft

Senilita Italo Svevo

Paperback

4 928 Ft

Marketing im Mittelstand Clemens Renker

Hardback

24 756 Ft

Tata a jeho syn Arnošt Goldflam

Audio CD

3 568 Ft

Jahre des Umbruchs Clemens Vollnhals

Hardback

39 605 Ft

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

Paperback

32 882 Ft

Hochzeitsreise Charles de Coster

Hardback

8 685 Ft

Detektywistyka Brakoniecki Dariusz

Paperback

6 353 Ft

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.