Tools and Algorithms for the Construction and Analysis of Systems
Publisher: Springer
Published: Mar 31, 2017
Format: paperback
Number of pages: 435
ISBN-13: 9783662545799
Notes: Source title: Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science (10206))