Alexander Raschke, Dominique Méry, Frank Houdek.

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.