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: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.758
|
|---|---|
| QA76.758 | Available |