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

Tools and Algorithms for the Construction and Analysis of Systems cover

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