Modular compiler verification: a refinement algebraic approach advocating stepwise abstraction
Berlin [u.a.]: Springer, 1997
Monographie, Hochschulschrift, Gedruckte Ressource
- XII, 250 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Modular compiler verification: a refinement algebraic approach advocating stepwise abstraction
|
---|---|
Verantwortlichkeitsangabe: | Markus Müller-Olm |
Autor/in / Beteiligte Person: | Müller-Olm, Markus |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1997 |
Medientyp: | Monographie, Hochschulschrift |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XII, 250 S. |
ISBN: | 3540634061 kart. : DM 66.00 |
Schlagwort: |
|
Sonstiges: |
|