01708nam0 22003853i 450 AQ1000136620251003044040.00387976647New York3540976647Berlin20080131d1992 ||||0itac50 baengusz01i xxxe z01nˆThe ‰temporal logic of reactive and concurrent systemsspecificationZohar Manna, Amir PnueliNew York [etc.]Springerc1992XIV, 427 p.ill.25 cmLogica matematicaFIRCFIC000378ELogica simbolicaFIRSBLC002225IElaboratori elettroniciProgrammazioneFIRCFIC000860E005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Manna, ZoharRAVV04592607025952Pnueli, AmirAQ1V00079107053228ITIT-00000020080131IT-BN0095 NAP 01SALA DING $AQ10001366Biblioteca Centralizzata di Ateneo1 v. (2. copia)1 v. in due copie 01SALA DING 005.1 MAN.te 0102 0000018195 VMA A4(bis 1 v. (2. copia)A 20080131200801311 v. (2. copia)1 v. in due copie 01SALA DING 005.1 MAN.te 0102 0000009585 VMA A4 1 v.Y 2008013120080131 01Temporal logic of reactive and concurrent systems1538984UNISANNIO