Buy Used and New RalfPinger Books

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings: 7437 (Lecture Notes in Computer Science)

by Mariëlle Stoelinga, Ralf Pinger

ISBN 13: 9783642324680

Format: Paperback (240 pages)
Publisher: Springer
Published: 17 Jul 2012

Save for later