Formal Techniques for Distributed Objects, Components, and Systems
38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
-
- US$39.99
-
- US$39.99
출판사 설명
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.
The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
장르
컴퓨터 및 인터넷
출시일
2018년
5월 29일
언어
EN
영어
길이
208
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
11.9
MB
Trustworthy Global Computing
2016년
Trustworthy Global Computing
2014년
Formal Techniques for Distributed Objects, Components, and Systems
2017년
Programming Languages with Applications to Biology and Security
2015년
Coordination Models and Languages
2016년
Formal Techniques for Distributed Objects, Components, and Systems
2016년