Constructing Correct Software [E-Book] / by John Cooke.
Saved in:
Full text |
|
Personal Name(s): | Cooke, John. |
Edition: |
Second Edition. |
Imprint: |
London :
Springer-Verlag London Limited,
2005.
|
Physical Description: |
online resource |
ISBN: |
9781846280795 |
Subject (LOC): |
Description not available. |