phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč Zásilkovna 44 Kč GLS courier 74 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

Formal Techniques for Distributed Systems

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Distributed Systems Holger Giese
Libristo code: 01661349
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2012
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on F... Full description
? points 154 b
1 540 Kč včetně DPH
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Sirotčinec slečny Peregrinové pro podivné děti Ransom Riggs / Hardback
common.buy 311 Kč
Zdravě jíme, nevaříme Judita Hofhanzlová / Paperback
common.buy 168 Kč
New hotline elementary class audio CDs 2 Thomas Hutchinson / Audio CD
common.buy 560 Kč
Die Krankenschwester, Großdruck Valerie Nilon / Paperback
common.buy 322 Kč
COMING SOON
Gegen Null Lars Gustafsson / Hardback
common.buy 487 Kč
Complete Global Perspectives for Cambridge IGCSE (R) & O Level Teacher Guide Jo Lally / Paperback
common.buy 3 545 Kč
Frauenideale in der Liteartur des 18. Jahrhunderts. Sandra Faust / Paperback
common.buy 936 Kč
iusta causa traditionis oder das Abstraktionsprinzip im roemischen Recht Erwin Kunze / Paperback
common.buy 1 013 Kč
Medizinische Informatik und Bioinformatik Martin Dugas / Paperback
common.buy 1 077 Kč

This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.

About the book

Full name Formal Techniques for Distributed Systems
Author Holger Giese, Grigore Rosu
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 269
EAN 9783642307928
ISBN 3642307922
Libristo code 01661349
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 435
Dimensions 155 x 235 x 16

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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 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