Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction Markus Müller-Olm

By:

Publication details: Berlin Springer c1997Description: xii, 250 p. : ill. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	005.453 MUL (Browse shelf(Opens below))	Available		210148

Previous								Next
Previous	005.453 MED Elements of compiler design	005.453 MUC Advanced compiler design and implementation	005.453 MUC Advanced compiler design implementation	005.453 MUL Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction	005.453 PAN Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems	005.453 RAV Design and implementation of compiler	005.453 RIC BCPL, the language and its compiler	Next

Includes bibliographical references (p. [239]-243) and index

There are no comments on this title.

to post a comment.

Back to results

Find us on the map