Buy Used and New Nir Piterman Books

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint ... 7795 (Lecture Notes in Computer Science)

by Nir Piterman, Scott Smolka

ISBN 13: 9783642367410

Format: Paperback (672 pages)
Publisher: Springer
Published: 20 Feb 2013

Save for later