Modular compiler verification / Olm,Markus Muller.

By: Olm,Markus MullerMaterial type: Text

TextLanguage: English Publication details: Berlin: Springer, 1997. Edition: A refinement algebraDescription: xii,250p;26cmISBN: 3540634061DDC classification: 005.453 MUL

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book)	Central Library, TU	Reference	005.453 MUL (Browse shelf(Opens below))	Not for loan		11486

Total holds: 0

Includes bibliographical references.

There are no comments on this title.

to post a comment.

Print
Suggest for purchase
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)