The Theory and practice of refinement : approaches to the formal development of large-scale software systems / [edited by] John A. McDermid.
Saved in:
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
London ; Boston :
Butterworths,
1989.
|
Subjects: |
PASCAL Offsite
Call Number: |
QA76.76.D47 T48 1989
|
---|---|
QA76.76.D47 T48 1989 | Available Place a Hold |