The temporal logic of reactive and concurrent systems. Zohar Manna ; Amir Pnueli | Manna, Zohar. Author
0/5

0 recensie
Titel
The temporal logic of reactive and concurrent systems
Zohar Manna ; Amir Pnueli
Auteur(s)
Manna, Zohar. Author
Auteur(s)
Pnueli, Amir. Author
Taal
Engels
Land
Various places
Collatie
25 cm + Ill.
Annotatie
Includes bibliographical references (p. 389-401) and indexes.; A
[1] Specification.; B
Type inhoud
tekst
Type drager
volume
Onderwerp(en)
Logica [Symbolische en wiskundige ]
Electronic digital computers - Programming.
Logic, Symbolic and mathematical.
Elektronische digitale computers -- Programmering  
ISBD
Bekijk de ISBD weergave
The temporal logic of reactive and concurrent systems / Zohar Manna ; Amir Pnueli. - 25 cm + Ill. - Includes bibliographical references (p. 389-401) and indexes.; A. [1] Specification.; B.


Fout of probleem melden?
Permalink
Beschikbare exemplaren worden gecheckt...

Een document aanvragen

Beschikbare exemplaren worden gecheckt...
Opladen van de verrijkingen...