Buy Used and New StephanMerz Books

Modeling and Verification of Real-time Systems

by

ISBN 13: 9781848210134

Format: Hardcover (448 pages)
Publisher: Wiley-Blackwell
Published: 10 Mar 2008

Save for later

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642162640

Format: Paperback (347 pages)
Publisher: Springer
Published: 06 Oct 2010

Save for later