Tools and Algorithms for the Construction and Analysis of Systems
Lijun Zhang author Tomáš Vojnar author
Format:Paperback
Publisher:Saint Philip Street Press
Published:8th Oct '20
Currently unavailable, and unfortunately no date known when it will be back
This paperback, "Tools and Algorithms for the Construction and Analysis of Systems" from Lijun Zhang & Tomáš Vojnar, was published 8th October 2020 by Saint Philip Street Press.
ISBN: 9781013271267
Dimensions: 279mm x 216mm x 23mm
Weight: 1030g
448 pages