Title:
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, 2013. Proceedings
Author:
Beyer, Dirk. editor.
ISBN:
9783642385926
Physical Description:
XIV, 321 p. 66 illus. online resource.
Series:
Lecture Notes in Computer Science, 7892
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-38592-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 334630-1001 | ONLINE(334630.1) | Searching... | Searching... |