Modern Formal Methods and Applications
by
Hossam A. Gabbar
Paperback
details (
United States
).
ISBN: 978-90-481-7079-1
ISBN-10: 90-481-7079-6
Springer
· 2010
