CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification / Razvan Diaconescu, Kokichi Futatsugi
- Författare
- Razvan. Diaconescu
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-981-281-610-8 |