Normal view MARC view ISBD view

The treatment of macro expansion in the temporal logic of parallel programs A. Kausche, F. Kroger

By:

Contributor(s):

Series: TUM. I8506 Publication details: Munchen Technische Universitat Munchen 1985Description: 34 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 27185 (Browse shelf(Opens below))	Available		0008923

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 27182 An envelope of holmorphy for certain normal complex spaces	II 27183 An improved starting step of the G-B-S-method for the solution of ordinary differential equations	II 27184 ITS ein programmsystem zur simulation des Verhaltens von Betriebssystemen	II 27185 The treatment of macro expansion in the temporal logic of parallel programs	II 27186 Eine adaptive Kollokations-Linienmethode zur Losung parabolischer differentiagleichungen mit Anwendung auf Rohrenmodelle aus der biologie	II 27187 On the computation of solutions of BVP on infinite intervals	II 27188 Hamiltonian flow on an energy surface: 240 years after the Euler-Maupertuis principle	Next

Lucrarea este multigrafiata

Contine bibliografie

There are no comments on this title.

to post a comment.