Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings /

Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings /

Show other versions (2)

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers include...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Méry, Dominique (Editor, http://id.loc.gov/vocabulary/relators/edt), Raschke, Alexander (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2021
Edition:1st ed. 2021
Series:Computer Science (SpringerNature-11645)
LNCS sublibrary Theoretical computer science and general issues 12709
Subjects:
Application software
Compilers (Computer programs)
Computer engineering
Computer networks
Logic programming
Machine theory
Formal Languages and Automata Theory
Compilers and Interpreters
Computer Engineering and Networks
Computer and Information Systems Applications
Logic in AI

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items