Tools and Algorithms for the Construction and Analysis of Systems
Publisher: Springer
Published: Mar 11, 2014
Format: paperback
Number of pages: 670
ISBN-13: 9783642548611
Notes: Source title: Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science (8413))