Select
Explore
keyword: formal logic – 39 free books.
All these books are free to read: either they're distributed with a free license, or they're in the public domain.
Graph Structures for Knowledge Representation and Reasoning
Michael Cochez et al. (editors)
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
Foundations of Software Science and Computation Structures
Stefan Kiefer and Christine Tasson, editors
Jan Friso Groote and Kim Guldstrand Larsen, editors
Fundamental Approaches to Software Engineering
Alessandra Russo and Andy Schürr, editors
Dirk Beyer and Marieke Huisman, editors