Feedback

X
#1

keyword: Verification – 34 free books.

badge for CC BY These Creative Commons Attribution licensed ebooks are free to read - the people who created them want you to read and share them.

You are free to: copy and redistribute the material in any medium or format; remix, transform, and build upon the material; for any purpose, even commercially. Under the following terms: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

  • View As:
  • view list
  • view icon

Programming Languages and Systems

Stephanie Weirich (editor)

AVAILABLE!
Book cover
Stephanie Weirich (editor)
AVAILABLE!
Book cover

Electronic Voting

Melanie Volkamer et al. (editors)

AVAILABLE!
Book cover
Melanie Volkamer et al. (editors)
AVAILABLE!
Book cover

Advances in Industrial Robotics and Intelligent Systems

António Paulo Moreira et al. (editors)

AVAILABLE!
Book cover
António Paulo Moreira et al. (editors)
AVAILABLE!
Book cover

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

AVAILABLE!
Book cover
Sharon Shoham and Yakir Vizel, editors

Programming Languages and Systems

Ilya Sergey (editor)

AVAILABLE!
Book cover
Ilya Sergey (editor)

Behavior of Metallic and Composite Structures (Second Volume)

Tomasz Sadowski and Holm Altenbach, editors

AVAILABLE!
Book cover
Tomasz Sadowski and Holm Altenbach, editors
AVAILABLE!
Book cover
AVAILABLE!
Book cover

Fundamental Approaches to Software Engineering

Esther Guerra and Mariëlle Stoelinga, editors

AVAILABLE!
Book cover
Esther Guerra and Mariëlle Stoelinga, editors
AVAILABLE!
Book cover

Fundamental Approaches to Software Engineering

Alessandra Russo and Andy Schürr, editors

AVAILABLE!
Book cover
Alessandra Russo and Andy Schürr, editors