Formal development of programs and proofs /
Saved in:
Other Authors: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Reading, Mass. :
Addison-Wesley,
[1990]
|
Series: | UT year of programming series.
|
Subjects: |
Physical Description: | xiv, 242 pages : illustrations ; 25 cm. |
---|---|
Bibliography: | Includes bibliographical references |
ISBN: | 0201172372 |