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 |