Understanding Formal Methods (FACIT)
by
M.G. Hinchey
Paperback
details (
UK
).
ISBN: 978-1-85233-247-1
ISBN-10: 1-85233-247-6
Springer
· 2013