Select
Explore
keyword: theorem proving – 4 free books.
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere and David Parker
AVAILABLE!
Login to Fave
Armin Biere and David Parker, editors
AVAILABLE!
Login to Fave
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
AVAILABLE!
Login to Fave
Login to Fave