top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Verifying concurrent processes using temporal logic
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Verifying concurrent processes using temporal logic
ID:
918324
Creatori:
(537323) Hailpern, Brent T. (Brent Tzion), 1955-
...