Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures by Christel Baier, Ugo Dal Lago.
Published by Springer, (2018), Paperback, 583 pages.
Topics: Computer science, Software engineering, Logic.