Research Catalog
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
- Title
- Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm.
- Author
- Müller-Olm, Markus
- Publication
- Berlin ; New York : Springer, c1997.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 97-1189 | Offsite |
Details
- Description
- xii, 250 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1283
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [239]-243) and index.
- Call Number
- JSE 97-1189
- ISBN
- 3540634061 (pbk. : alk. paper)
- LCCN
- 97013428
- OCLC
- 37373432
- Author
- Müller-Olm, Markus.
- Title
- Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm.
- Imprint
- Berlin ; New York : Springer, c1997.
- Series
- Lecture notes in computer science ; 1283
- Bibliography
- Includes bibliographical references (p. [239]-243) and index.
- Research Call Number
- JSE 97-1189