LEADER 00878nam a2200253 i 4500 001 991001256449707536 005 20020507113513.0 008 970308s1980 it ||| | ita 035 $ab10195324-39ule_inst 035 $aLE00644742$9ExL 040 $aDip.to Fisica$bita 084 $a3:5 084 $a301.243 100 1 $aBalcet, G.$0464002 245 13$aLa speranza tecnologica :$btecnologie e modelli di sviluppo per una società a misura d'uomo /$cG. Balcet...[et al.] 260 $aMilano :$bEtas Libri,$c1980 300 $a1 v. 650 4$aProgresso tecnico 907 $a.b10195324$b02-04-14$c27-06-02 912 $a991001256449707536 945 $aLE006 3 BAL$g1$i2006000005616$lle006$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10241085$z27-06-02 996 $aSperanza tecnologica$9191488 997 $aUNISALENTO 998 $ale006$b01-01-97$cm$da $e-$fita$git $h3$i1 LEADER 01604nam a2200349 i 4500 001 991001856449707536 005 20020507152801.0 008 000203s1997 sp ||| | spa 020 $a9509385964 035 $ab11574057-39ule_inst 035 $aLE02726346$9ExL 040 $aDip.to Studi Giuridici$bita 082 0 $a342.82 084 $aC-XIV/D 100 1 $aSarmiento García, Jorge H.$0528693 245 10$aDerecho público :$bteoría del Estado y de la constitución, derecho constitucional, derecho administrativo /$cdirector, Jorge Sarmiento García ; J. Alvarez ... [et al.] 260 $aBuenos Aires :$bFundación Centro de Estudios Políticos y Administrativos : Ediciones Ciudad Argentina,$c[1997] 300 $a739 p. ;$c24 cm. 500 $aIn testa al fronte: Facultad de Ciencias Económicas, Universidad Nacional de Cuyo; Fundación Centro de Estudios Políticos y Administrativos. 500 $aInclude riferimenti bibliografici (p. [699]-714) 650 4$aDiritto amministrativo - Argentina 650 4$aDiritto costituzionale - Argentina 650 4$aDiritto pubblico - Argentina 700 1 $aAlvarez, J. 710 2 $aUniversidad Nacional de Cuyo. Facultad de Ciencias Económicas 710 2 $aFundación Centro de Estudios Políticos y Administrativos 907 $a.b11574057$b02-04-14$c02-07-02 912 $a991001856449707536 945 $aLE027 C-XIV/D 98$g1$iLE027-3376$lle027$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11779445$z02-07-02 996 $aDerecho público$9895875 997 $aUNISALENTO 998 $ale027$b01-01-00$cm$da $e-$fspa$gsp $h0$i1 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