Formal Techniques for Distributed Objects, Components, and Systems
[electronic resources]
: 35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 Grenoble, France, June 2–4, 2015 Proceedings
\ Susanne Graf , Mahesh Viswanathan (Eds.)
Cham
: Springer
, 2015
xii, 245 p
:ill
Lecture Notes in Computer Science
; 9039
Index
Bibliography
Electronic data processing -- Distributed processing -- Congresses.
Formal methods (Computer science) -- Congresses.
Computer network protocols -- Congresses.
دادهپردازی -- پردازش توزبع شده -- کنگره ها
روشهای صوری (کامپیوتر) -- کنگره ها
پروتکلهای شبکه کامپیوتری -- کنگره ها
QA
76
.
9
.
D5F6
2015
E-Book
,
Graf, Susanne
Viswanathan, Mahesh
International Federated Conferences on Distributed Computing Techniques (10th : 2015 : Grenoble, France)