Select
Explore
keyword: separation logic – 9 free books.
All these books are free to read: either they're distributed with a free license, or they're in the public domain.
Automated Reasoning with Analytic Tableaux and Related Methods
Revantha Ramanayake and Josef Urban, editors
AVAILABLE!
Login to Fave
Login to Fave
Dirk Beyer and Marieke Huisman, editors
AVAILABLE!
Login to Fave
Login to Fave
Christel Baier and Ugo Dal Lago, editors
AVAILABLE!
Login to Fave
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
AVAILABLE!
Login to Fave
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave