Formal Methods in Standards A Report from the B. C. S. Working Group |
|
| Contribution by:
| Ruggles, C. L. N.
Boldyreff, Cornelia
Duce, David
Hall, Patrick
Neely, Robert
Tetteh-Lartey, Nik
Thomas, Rick
Wrightson, Ann |
| ISBN: | 978-3-540-19577-1 |
| Publication Date: | Jan 1989 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | AUD $189.95 |
Book Description:
|
Report produced by the Formal Methods in Standards Working Group of the British Computer Society.
Report produced by the Formal Methods in Standards Working Group of the British Computer Society.