Formal Techniques for Distributed Objects, Components, and Systems
39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
-
- US$54.99
-
- US$54.99
출판사 설명
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.
The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
장르
컴퓨터 및 인터넷
출시일
2019년
6월 3일
언어
EN
영어
길이
313
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
21.1
MB
Formal Methods
2018년
Dependable Software Engineering. Theories, Tools, and Applications
2017년
Models, Algorithms, Logics and Tools
2017년
Automated Technology for Verification and Analysis
2015년
Formal Techniques for Distributed Objects, Components, and Systems
2017년
Theory and Practice of Formal Methods
2016년