Tools and Algorithms for the Construction and Analysis of Systems

Lijun Zhang author Tomáš Vojnar author

Format:Hardback

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 hardback, "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: 9781013271236

Dimensions: 279mm x 216mm x 24mm

Weight: 1266g

426 pages