Formal Techniques for Distributed Systems [electronic resource] : 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, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 7892Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013.Description: 1 online resource (XIV, 321 p. 66 ill.)ISBN: - 9783642385926
Contents:
Distributed computing models -- Formal specification -- Testing -- Verification methods -- Application-level distributed systems -- Telecommunication services -- Internet -- Embedded and real-time systems.-Networking and communication security and reliability.
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
National Library of India | Available | EBK000024578ENG |
Total holds: 0
Distributed computing models -- Formal specification -- Testing -- Verification methods -- Application-level distributed systems -- Telecommunication services -- Internet -- Embedded and real-time systems.-Networking and communication security and reliability.
There are no comments on this title.
Log in to your account to post a comment.
