Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Tiziana Margaria
Out of stock
Format: Book (Paperback / softback)
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 201
Reiner Hahnle
Item not Available
Format: Book (Paperback / softback)
£58.99
£49.19
Item not Available
Book (Paperback / softback)