Kniha Formal Techniques for Distributed Systems Dirk Beyer

Formal Techniques for Distributed Systems

Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5,

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on F...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2013
Stránek
321
EAN
9783642385919
ISBN
3642385915
Enbook ID
01663769
Hmotnost
516
Rozměry
155 x 235 x 19

Kompletní popis

This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.

Mohlo by vás zajímat

1 310
234
1 130
250

Going up in Smoke

Heather E Lane
532
271

Concealment of the State

Jason Royce Lindsey
1 283

Taunton Remembered

Nick Chipchase
306

Capitalizing on Disaster

Kenneth J. Saltman
6 203
729

Soul

Djwhal Khul
322
9 781

Survival Game

David P. Barash
412

Zákaznicí kteří koupili tuto knihu koupili také

Um Reich und Krone

Philippa Gregory
221
1 452
976