Modular Compiler Verification electronic resource : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / by Markus Müller-Olm
- Författare
- Markus. author. Müller-Olm
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |