Normal view MARC view ISBD view

Notes on the Project CIP Towards a wide spectrum language to support program development by transformations Friedrich L. Bauer, Manfred Broy, Rupert Gnatz

By:

Series: TUM- Info. 7722 Publication details: Munchen Universitat Munchen 1977Description: 55 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 19445 (Browse shelf(Opens below))	Available		0015997

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 19442 Formal semantics of programming languages described by predicative W-grammars	II 19443 A corespondence between W-grammars and formal systems of logic and its application to formal language description	II 19444 Instantion reversal for polynomials	II 19445 Notes on the Project CIP Towards a wide spectrum language to support program development by transformations	II 19446 Registertransfersprache PHPL sprachbeschreibung	II 19447 Beweisen Durch Programmtransformation	II 19448 Program development: the ackermannfunction as an example	Next

Lucrarea este multigrafiata

Contine bibliografie

There are no comments on this title.

to post a comment.