Tools and Algorithms for the Construction and Analysis of Systems

David Parker author Armin Biere author

Format:Hardback

Publisher:Saint Philip Street Press

Published:9th Oct '20

Currently unavailable, and unfortunately no date known when it will be back

Tools and Algorithms for the Construction and Analysis of Systems cover

This hardback, "Tools and Algorithms for the Construction and Analysis of Systems" from David Parker & Armin Biere, was published 9th October 2020 by Saint Philip Street Press.

ISBN: 9781013277214

Dimensions: 279mm x 216mm x 24mm

Weight: 1293g

438 pages