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: | Jul 1990 |
| Publisher: | Springer London, Limited
|
| Imprint: | Springer |
| Book Format: | Paperback |
| List Price: | USD $54.99 |
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.