Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
- Cham Springer 2020
9783030480776
Mathematical logic. Artificial intelligence. Computer organization. Software engineering. Microprogramming . Mathematical Logic and Formal Languages. Artificial Intelligence. Computer Systems Organization and Communication Networks. Software Engineering. Control Structures and Microprogramming.