| Label | Dataset | Type | Subdivision | Identifier | |
|---|---|---|---|---|---|
| 1. | Polak, Wolfgang, 1950- Compiler specification and verification Berlin; New York: Springer-Verlag; 1981 |
BIBFRAME Instances |
Instance | 4206763 | |
| 2. | Müller-Olm, Markus Modular compiler verification Berlin; New York: Springer; c1997 |
BIBFRAME Instances |
Instance | 707966 | |
| 3. | Polak, Wolfgang, 1950- Compiler specification and verification |
BIBFRAME Works |
Work Text Monograph |
4206763 | |
| 4. | Müller-Olm, Markus Modular compiler verification |
BIBFRAME Works |
Work Text Monograph |
707966 | |
Do you need assistance with your search?