ACCESS (AlgebraiC Concurrent Events for System Specification)

un formalisme de spécification intégrant la vraie concurrence

Verfasser / Beitragende:
Giovanna A. Di Marzo
Ort, Verlag, Jahr:
Genève : Université de Genève Faculté des sciences Centre universitaire d'informatique, 1994
Beschreibung:
[81] p. : ill. ; 30 cm
Format:
Buch
ID: 228831806