Normal view MARC view ISBD view

A comprehensive survey on program transformation systems H. Partsch, R. Steinbruggen

By:

Contributor(s):

Series: TUM. I8108 Publication details: Munchen Universitat Munchen 1981Description: 49 p 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 23039 (Browse shelf(Opens below))	Available		0010467

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 23036 Duality of vector-valued (a1) - norms and (am)-norms on ordered vector spaces	II 23037 Certification by program construction from specifications	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	Next

Contine bibliografie

Lucrarea este multigrafiata

There are no comments on this title.

to post a comment.