Tools and Algorithms for the Construction and Analysis of Systems
Publisher: Springer
Published: Feb 20, 2013
Format: paperback
Number of pages: 670
ISBN-13: 9783642367410
Notes: Source title: Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science (7795))