
Tell your friends about this item:
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | October 9, 2020 |
ISBN13 | 9781013277214 |
Publishers | Saint Philip Street Press |
Pages | 438 |
Dimensions | 1.29 kg |