Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction (Englisch)
- Neue Suche nach: Müller-Olm, Markus
- Neue Suche nach: Müller-Olm, Markus
1997
-
ISBN:
- Hochschulschrift / Elektronische Ressource
-
Titel:Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
-
Beteiligte:Müller-Olm, Markus ( Autor:in )
-
Hochschulschrift:Teilw. zugl.: Kiel, Univ., Diss., 1996
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin [u.a.]
-
Erscheinungsdatum:1997
-
Format / Umfang:Online-Ressource (XII, 250 S.)
-
Anmerkungen:Campusweiter Zugriff (Universität Hannover) - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
-
ISBN:
-
DOI:
-
Medientyp:Hochschulschrift
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 54.53
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: *68-02 / 68N20 / 68N30
- Weitere Informationen zu Mathematics Subject Classification
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle: