Select
Explore
keyword: formal logic – 39 free books.
Hana Chockler and Georg Weissenbacher, editors
Shuvendu K. Lahiri and Chao Wang, editors
Shuvendu K. Lahiri and Chao Wang, editors
Foundations of Software Science and Computation Structures
Stefan Kiefer and Christine Tasson, editors
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
Christel Baier and Ugo Dal Lago, editors
Mikołaj Bojańczyk and Alex Simpson, editors
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
Fundamental Approaches to Software Engineering
Alessandra Russo and Andy Schürr, editors
Alessandra Russo and Andy Schürr, editors