CAFE - an industrial-strength algebraic formal method
- Författare
- (Edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Elsevier | 2000 | England, Oxford | 1 online resource (209 sidor.) |