Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /

Saved in:

Bibliographic Details
Author / Creator:	Müller-Olm, Markus.
Imprint:	Berlin ; New York : Springer, c1997.
Description:	xii, 250 p.
Language:	English
Series:	Lecture notes in computer science 1283
Subject:	Compilers (Computer programs) Computer software -- Verification. Compilers (Computer programs) Computer software -- Verification.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/2752037

Hidden Bibliographic Details
ISBN:	3540634061 (pbk. : alk. paper)
Notes:	Includes bibliographical references and index.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA76.76.C65M85 1997
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian