The Best Books of 2024 (So Far) Explore All Lists
1- 2 of 2 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs
QUICK ADD
Cooperation in Heterogeneous…
by Dirk Fuchs
Hardcover $36.00
Title: Rigorous Software Development: An Introduction to Program Verification / Edition 1, Author: Josï Bacelar Almeida
QUICK ADD
Rigorous Software Development:…
by Josï Bacelar Almeida, Maria Joïo Frade, Jorge Sousa Pinto, Simïo Melo de Sousa
Explore Series
Paperback $39.95