Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Formal Techniques for Distributed Systems

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Distributed Systems David Lee
Libristo code: 01649869
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2009
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on F... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

My Mom is Awesome (Danish Book for Kids) Kidkiddos Books / Book Paperback
common.buy 16.60 €
Ein neues Leben Antje Rávik Strubel / Book Hardback
common.buy 21.56 €
Ammiraglia di tutte le zattere Paolo Colavero / Book Paperback
common.buy 20.55 €
Gomma di Tamarindo Chandana S / Book Paperback
common.buy 71.19 €
Finitud y tiempo Julian Serna Arango / E-book Adobe ePub DRM
common.buy 4.45 €
El amor, el sexo y el matrimonio DOVAL / Book Book
common.buy 12.45 €
Personal de servicios generales de la administración de la comunidad foral de navarra. Test Editorial Mad / Book binding.
common.buy 25.01 €
Negligencias médicas en anestesiología y responsabilidad civil del anestesista Gutiérrez Santiago / Book Paperback
common.buy 43.03 €
Vorstellung Vom Weltgebaude Im Wandel Der Zeiten Svante A. Arrhenius / Book Paperback
common.buy 36.96 €
Caballos salvajes JORDI CUSSA / Audio Audio CD
common.buy 27.13 €
Repetitorium Schmerztherapie Michael Hatzenbühler / Book Paperback
common.buy 61.37 €
Palabras con corazón María Eugenia Manrique / Book Paperback
common.buy 22.58 €

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.§The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Techniques for Distributed Systems
Author David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 249
EAN 9783642021374
ISBN 3642021379
Libristo code 01649869
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 409
Dimensions 155 x 235 x 15

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

The Centaur Algernon Blackwood / Book Paperback
common.buy 19.44 €
Using Student Feedback for Successful Teaching Zierer / Book Paperback
common.buy 40.00 €
Roger Ludlow, The Colonial Lawmaker John Metcalf Taylor / Book Hardback
common.buy 31.69 €
Familiar Spanish Travels William Dean Howells / Book Paperback
common.buy 41.82 €
Horses Don't Lie Chris Irwin / E-book Adobe ePub DRM
common.buy 10.83 €
Narcissist: You Can't Love a Narcissist. How to Escape from a Narcissistic Relationship. Recognize Emotional Manipulation and Stop Wendy Jackson / Book Paperback
common.buy 10.32 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account