Models and axioms for a fragment of real time process algebra /

Salvato in:
Dettagli Bibliografici
OCLC:31625529
Autore principale: Klusener, Anton Stefanus
Ente Autore: Technische Universiteit Eindhoven
Lingua:English
Pubblicazione: Netherlands : Technische Universiteit Eindhoven, 1993.
Soggetti:
Real-time processing.
Algebra.
Procesalgebra.
Natura:

Tesi Monograph

Note that CRL will digitize material from the collection when copyright allows.

Descrizione
Descrizione del documento:Vita.
Contains summary.
Descrizione fisica:x, 216 p. ; 24 cm.
Bibliografia:Includes bibliographical references (p. 210-215)
Luogo di pubblicazione:Netherlands.

Documenti analoghi