ACCESS (AlgebraiC Concurrent Events for System Specification)
un formalisme de spécification intégrant la vraie concurrence
Gespeichert in:
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