LEADER 01708nam0 22003853i 450 001 AQ10001366 005 20251003044040.0 010 $a0387976647$bNew York 010 $a3540976647$bBerlin 100 $a20080131d1992 ||||0itac50 ba 101 | $aeng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aˆThe ‰temporal logic of reactive and concurrent systems$especification$fZohar Manna, Amir Pnueli 210 $aNew York [etc.]$cSpringer$dc1992 215 $aXIV, 427 p.$cill.$d25 cm 606 $aLogica matematica$2FIR$3CFIC000378$9E 606 $aLogica simbolica$2FIR$3SBLC002225$9I 606 $aElaboratori elettronici$xProgrammazione$2FIR$3CFIC000860$9E 676 $a005.1$9PROGRAMMAZIONE$v14 676 $a005.1$9PROGRAMMAZIONE$v22 696 $aLogica simbolica$aLogica matematica 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 700 1$aManna$b, Zohar$3RAVV045926$4070$025952 701 1$aPnueli$b, Amir$3AQ1V000791$4070$053228 801 3$aIT$bIT-000000$c20080131 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aAQ10001366 950 0$aBiblioteca Centralizzata di Ateneo$b1 v. (2. copia)$c1 v. in due copie$d 01SALA DING 005.1 MAN.te$e 0102 0000018195 VMA A4(bis 1 v. (2. copia)$fA $h20080131$i20080131$b1 v. (2. copia)$c1 v. in due copie$d 01SALA DING 005.1 MAN.te$e 0102 0000009585 VMA A4 1 v.$fY $h20080131$i20080131 977 $a 01 996 $aTemporal logic of reactive and concurrent systems$91538984 997 $aUNISANNIO