On the refinement calculus / edited by Carroll Morgan and Trevor Vickers.
Saved in:
Other Authors: | , |
---|---|
Format: | Book |
Language: | English |
Published: |
London ; New York :
Springer-Verlag,
1994.
|
Series: | Formal approaches to computing and information technology.
|
Subjects: |
PASCAL Offsite
Call Number: |
QA76.6 .O49 1994
|
---|---|
QA76.6 .O49 1994 | Available Place a Hold |