Feedback

X
#1

keyword: Conference proceedings – 13 free books.

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

  • View As:
  • view list
  • view icon
AVAILABLE!
Book cover

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

AVAILABLE!
Book cover
Arie Gurfinkel and Vijay Ganesh, editors

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

AVAILABLE!
Book cover
Arie Gurfinkel and Vijay Ganesh, editors

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh, editors

AVAILABLE!
Book cover
Arie Gurfinkel and Vijay Ganesh, editors

Foundations of Software Science and Computation Structures

Orna Kupferman and Pawel Sobocinski, editors

AVAILABLE!
Book cover
Orna Kupferman and Pawel Sobocinski, editors

Programming Languages and Systems

Thomas Wies (editor)

AVAILABLE!
Book cover
Thomas Wies (editor)