2 Ebooki wg Mahesh Viswanathan
Susanne Graf & Mahesh Viswanathan: Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in …
PDF
Angielski
€65.44
Sungdeok Cha & Jin-Young Choi: Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 …
PDF
Angielski
DRM
€57.27
