Normal view MARC view ISBD view

Certification by program construction from specifications Rupert Gnatz

By:

Series: TUM. I8106 Publication details: Munchen Universitat Munchen 1981Description: 12 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 23037 (Browse shelf(Opens below))	Available		0010465

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 23034 Numerische Berechnung von Biegelinien in der ebene	II 23035 Uber den homomorphismus, der durch eine derivation im antisymmetrischen tensorraum von typ (0,2) induziert ist	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	Next

Lucrarea este multigrafiata

Contine bibliografie

There are no comments on this title.

to post a comment.