Industrial-Strength Formal Methods in Practice /
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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London : Imprint : Springer,
1999.
|
| Series: | Formal Approaches to Computing and Information Technology (FACIT)
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
