Tools and Algorithms for the Construction and Analysis of Systems

David Parker author Armin Biere author

Format:Paperback

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 paperback, "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: 9781013277207

Dimensions: 279mm x 216mm x 23mm

Weight: 1007g

438 pages