Amvik eBook Solutions
Read and Download eBook Online Now
Related Books
Language: en
Pages: 661
Pages: 661
Type: BOOK - Published: 2014-09-26 - Publisher: Springer
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods,
Language: en
Pages: 505
Pages: 505
Type: BOOK - Published: 2021-10-11 - Publisher: Springer Nature
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen
Language: en
Pages: 985
Pages: 985
Type: BOOK - Published: 2016-10-05 - Publisher: Springer
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,
Language: en
Pages: 577
Pages: 577
Type: BOOK - Published: 2017-04-24 - Publisher: Springer
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of wh
Language: en
Pages: 339
Pages: 339
Type: BOOK - Published: - Publisher: Springer Nature
