by Michael G. Hinchey (Author)
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.
Format: Illustrated
Pages: 420
Edition: 1999
Publisher: Springer
Published: 17 Sep 1999
ISBN 10: 1852336404
ISBN 13: 9781852336400