Feedback

X
#1

keyword: temporal logic – 3 free books.

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

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

AVAILABLE!
Book cover
Alexandra Silva and K. Rustan M. Leino, editors

Deductive Systems in Traditional and Modern Logic

Urszula Wybraniec-Skardowska and Alex Citkin, editors

AVAILABLE!
Book cover
Urszula Wybraniec-Skardowska and Alex Citkin, editors