Normal view MARC view ISBD view

Parameterized specifications: parameter passing and optimizing implementation Harald Ganzinger

By:

Series: TUM. I8110 Publication details: Munchen Universitat Munchen 1981Description: 35 p fig 20 cm

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 23041 (Browse shelf(Opens below))	Available		0010469

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	II 23038 Dynamic timestamp allocation and its applications to the behr-method	II 23039 A comprehensive survey on program transformation systems	II 23040 Berechnung der schaltkombinationen in einer sammelschienenschaltstation bei berucksichtigung von Nebenbedingungen der Betriebsfuhrung	II 23041 Parameterized specifications: parameter passing and optimizing implementation	II 23042 Betriebssystemkern eines mehrprozessorsystems	II 23043 Automatische Erzeugung von maschinencode-optimierern	II 23044 Automatische konstruktion und einheitliche darstellung von attributauswertungsalogarithmen	Next

Contine bibliografie

Lucrarea este multigrafiata

There are no comments on this title.

to post a comment.