[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Formal Techniques for Distributed Systems

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Distributed Systems John Hatcliff
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
? points 163 b
69.14 € včetně DPH
In stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Kde bývajú zvieratká? neuvedený autor / Board book
common.buy 7.80 €
Christian Apologetics Norman L. Geisler / Paperback
common.buy 31.67 €
Packaging Development Process Kristine DeMaria / Hardback
common.buy 271.13 €
Ottoman Scramble for Africa Mostafa Minawi / Hardback
common.buy 138.82 €
Jahre des Umbruchs Clemens Vollnhals / Hardback
common.buy 74.93 €
Interchange Intro Full Contact A with Self-study DVD-ROM Jack C. Richards / Paperback
common.buy 39.70 €
Cartographies of Exile / Hardback
common.buy 246.72 €
Aging and Neuropsychological Assessment Asenath La Rue / Hardback
common.buy 206.48 €
Pierre and His People, [Tales of the Far North], Volume 5. Gilbert Parker / Paperback
common.buy 21.08 €
Foundation for Yoga Practitioners Ulrich Timme Kragh / Hardback
common.buy 107.57 €
literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel / Hardback
common.buy 144.45 €
Origins of Free Peoples Jason Caro / Paperback
common.buy 70.96 €
Senilita Italo Svevo / Paperback
common.buy 14.99 €
Grusel, Terror, Videospiel Christoph Hurka / Paperback
common.buy 25.69 €
Marketing im Mittelstand Clemens Renker / Hardback
common.buy 64.17 €
Itsuka Joy Kogawa / Paperback
common.buy 19.58 €

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.

About the book

Full name Formal Techniques for Distributed Systems
Author John Hatcliff, Elena Zucca
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 233
EAN 9783642134630
ISBN 3642134637
Libristo code 01655975
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 386
Dimensions 159 x 240 x 19

Categories

Computing & Information Technology > Computer hardware > Network hardware
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 networking & communications > Distributed systems
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

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