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

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

by Michael G. Hinchey (Author)

Synopsis

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context.

$148.36

Save:$22.14 (13%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 420
Edition: 1999
Publisher: Springer
Published: 17 Sep 1999

ISBN 10: 1852336404
ISBN 13: 9781852336400