Tools and Algorithms for the Construction and Analysis of Systems

by David Parker (Author), Armin Biere (Author)

New
Hardcover
2020
$78.42

$78.42

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 516
Publisher: Saint Philip Street Press
Published: 09 Oct 2020
ISBN 10: 1013277198
ISBN 13: 9781013277191

Tools and Algorithms for the Construction and Analysis of Systems

New

$78.42

$78.42

More Information