Feedback

X
#1

keyword: formal logic – 20 free books.

epub These books are available in EPUB format - good for Kindle, iBooks, Nook, Kobo.

  • View As:
  • view list
  • view icon

Formal Methods

André Platzer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Formal Methods
André Platzer et al. (editors)
No Faves
Read it Now

Formal Methods

André Platzer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Formal Methods
André Platzer et al. (editors)
No Faves
Read it Now

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

More Info
AVAILABLE!
Read it Now
Book cover
Frontiers of Combining Systems
Uli Sattler and Martin Suda, editors
No Faves
Read it Now

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

More Info
AVAILABLE!
Read it Now
Book cover
Frontiers of Combining Systems
Uli Sattler and Martin Suda, editors
No Faves
Read it Now

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 29
Brigitte Pientka and Cesare Tinelli, editors
No Faves
Read it Now

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Sharon Shoham and Yakir Vizel, editors
No Faves
Read it Now

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Luis Caires (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Luis Caires (editor)
Faved by 1
Read it Now

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Mikołaj Bojańczyk and Alex Simpson, editors

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Mikołaj Bojańczyk and Alex Simpson, editors
Faved by 1
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Dirk Beyer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Dirk Beyer et al. (editors)
Faved by 1
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tomas Vojnar and Lijun Zhang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tomas Vojnar and Lijun Zhang, editors
Faved by 1
Read it Now

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Flemming Nielson and David Sands, editors

More Info
AVAILABLE!
Read it Now
Book cover
Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Flemming Nielson and David Sands, editors
Faved by 1
Read it Now

Foundations of Software Science and Computation Structures

Christel Baier and Ugo Dal Lago

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer and Marieke Huisman

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer and Marieke Huisman

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman
No Faves
Read it Now

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler and Georg Weissenbacher, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Hana Chockler and Georg Weissenbacher, editors
Faved by 1
Read it Now

Programming Languages and Systems

Amal Ahmed

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Amal Ahmed
Faved by 1
Read it Now

Principles of Security and Trust

Lujo Bauer and Ralf Küsters

More Info
AVAILABLE!
Read it Now
Book cover
Principles of Security and Trust
Lujo Bauer and Ralf Küsters
No Faves
Read it Now

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Alessandra Russo and Andy Schürr, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Alessandra Russo and Andy Schürr, editors
No Faves
Read it Now