Buy Used and New Dietmar Schreiner Books

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

by Reiner Hähnle,Jens Knoop,Tiziana Margaria,Dietmar Schreiner,Bernhard Steffen

ISBN 13: 9783642347801

Format: Paperback (276 pages)
Publisher: Springer
Published: 12 Oct 2012

Save for later