Proof in VDM: Case Studies / edited by J.C. Bicarregui.
This volume provides an invaluable companion to Proof in VDM: A Practitioner's Guide. Using the proof theory presented in that volume, it examines a variety of realistic case studies which illustrate different aspects of the use of proof in formal development. Rather than concentrating on the c...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other title: | With contributions by numerous experts. |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1998.
|
| Series: | Formal Approaches to Computing and Information Technology (FACIT)
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA8.9-QA10.3
|
|---|---|
| QA8.9-QA10.3 | Available |