Lataa...

The Temporal logic of reactive and concurrent systems

Bibliografiset tiedot
Päätekijät:	Manna, Zohar, Pnueli, Amir
Aineistotyyppi:	Printed Book
Julkaistu:	New York, Springer Verlag 1992
Aiheet:	Electronic digital computers Programming

Saatavuus: MG University
Hyllypaikka:	005.1 N2
Nide	Reaaliaikaista tietoa ei saatavissa

Samankaltaisia teoksia