LEADER 01946nam0 22004333i 450 001 AQ10012210 005 20251003044042.0 010 $a0387975322$bNew York 010 $a3540975322$bBerlin 100 $a20080401d1991 ||||0itac50 ba 101 | $aeng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aVerification of sequential and concurrent programs$fKrysztof R. Apt, Ernst-Rudiger Olderog 210 $aNew York [etc.]$cSpringer$dc1991 215 $aXVI, 441 p.$d25 cm 225 | $aTexts and monographs in computer science 410 0$1001AQ10000364$12001 $aTexts and monographs in computer science 606 $aElaboratori elettronici$xProgrammi$xVerifica$2FIR$3CFIC029938$9I 676 $a005.1$9PROGRAMMAZIONE$v14 676 $a005.14$9$v22 696 $aVerificazione$aProgrammi didattici$aProgrammi scolastici$aPiani di lavoro 699 $aVerifica$yVerificazione 699 $aProgrammi$yProgrammi didattici 699 $aProgrammi$yProgrammi scolastici 699 $aProgrammi$zPiani di lavoro 700 1$aApt$b, Krzysztof R.$f <1949->$3UBOV042440$4070$0753382 701 1$aOlderog$b, Ernst-Rudiger$3AQ1V006552$4070$0770277 790 1$aApt$b, K.$c $3UBOV640919$zApt, Krzysztof R. <1949-> 790 1$aApt$b, K. R.$c $3UBOV640920$zApt, Krzysztof R. <1949-> 801 3$aIT$bIT-000000$c20080401 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aAQ10012210 950 0$aBiblioteca Centralizzata di Ateneo$c1 v. in due copie$d 01SALA DING 005.1 APT.ve$e 0102 0000017955 VMA A4(bis 1 v. (2. copia)$fA $h19950302$i19950302$c1 v. in due copie$d 01SALA DING 005.1 APT.ve$e 0102 0000003515 VMA A4 1 v.$fY $h19930901$i19930901 977 $a 01 996 $aVerification of sequential and concurrent programs$91571164 997 $aUNISANNIO