Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

by Michael G. Hinchey Paperback details (United Kingdom). (see also: eBook (Kindle)) details (USA). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-1-85233-640-0 ISBN-10: 1-85233-640-4 Springer · 2013