Normal view MARC view ISBD view

Compling temporal logic specifications into observers Omar Drissi-Kaitouni, Claude Jard

By:

Series: Rapports techniques. 881 Publication details: Paris I. N. R. I. A 1988Description: 19 p 27 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	III 30857 (Browse shelf(Opens below))	Available		0026414

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	III 30854 Determination spatio-temporelle de traceurs dans une sequence d'images sous-marines a des fins de trajectographie	III 30855 Comparison of priority rules in pattern matching and term rewriting	III 30856 Un schema (abstrait) d'iteration repartie. Application au calcul des chemins de valeurs minimales	III 30857 Compling temporal logic specifications into observers	III 30858 Sur deux problemes de reconstruction	III 30859 A grammatical view of logic programming	III 30860 Towards a lambda-calculus for concurrent and communicating systems	Next

IMAR

There are no comments on this title.

to post a comment.