Theory and Practice of Formal Methods
Erika �brah�m, Marcello Bonsangue, Einar Broch Johnsen
Theory and Practice of Formal Methods - Springer 2016 - Lecture Notes in Computer Science .
9783319307343
Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics)
Theory and Practice of Formal Methods - Springer 2016 - Lecture Notes in Computer Science .
9783319307343
Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics)