Software engineering mathematics:formal methods demystified
Saved in:
Main Authors: | |
---|---|
Corporate Authors: | |
Published: |
Pitman,
|
Publisher Address: | London |
Publication Dates: | 1988. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | 291 p.: ill. ; 24 cm. |
ISBN: | 0273026739 |
Index Number: | TP31 |
CLC: | TP31 |
Call Number: | TP31/W886/ |