Modular compiler verification - a refinement-algebraic approach advocating stepwise abstraction
- Författare
- Markus Müller-Olm
- (Markus Müller-Olm.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | xii, 250 sidor. ill. | |
| Springer Berlin Heidelberg | 1997 | Utgivningsland okänt / Ej specificerat |