Buy Used and New SriramSankaranarayanan Books

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings: 9268 (Lecture Notes in Computer Science)

by Sriram Sankaranarayanan, Enrico Vicario

ISBN 13: 9783319229744

Format: Paperback (311 pages)
Publisher: Springer
Published: 14 Sep 2015

Save for later