Industrial-Strength Formal Methods in Practice / edited by Michael G. Hinchey, Jonathan P. Bowen.
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. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introducti...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London : Imprint : Springer,
1999.
|
| Series: | Formal Approaches to Computing and Information Technology (FACIT)
|
| Subjects: |
Search Result 1
Industrial-strength formal methods in practice /
Published 1999
Full Text (via Internet Archive)
eBook
Search Result 2
