LEADER 01863nam0 22003853i 450 
001 AQ10013063
005 20251003044042.0
010   $a0387564969$bNew York
010   $a3540564969$bBerlin
100   $a20090729d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aComputer aided verification$efourth international workshop, CAV '92$eMontreal, Canada, June 29 - July 1, 1992$eproceedings$fG. v. Bochmann, D. K. Probst (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dc1993
215   $aIX, 422 p.$d24 cm.
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v663
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v663$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
606   $aElaboratori elettronici$xValutazione$xCongressi$x1994$2FIR$3NAPC242163$9I
676   $a004.24015113$9Valutazione delle prestazioni. Logica matematica (Logica simbolica)$v22
696   $aConvegni$aCongressi e convegni
699   $aCongressi$yConvegni
699   $aCongressi$yCongressi e convegni
702  1$aVon Bochmann$b, Gregor$3AQ1V007100
702  1$aProbst$b, David Karl$3AQ1V007101
710 12$aInternational Workshop CAV '92$d <4.$f ; 1992$e ; Montreal>$3AQ1V007097$4070$0714691
791 12$aWorkshop on computer-aided verification$d <4.$f ; 1992$e ; Montreal>$3AQ1V007103$zInternational Workshop CAV '92 <4. ; 1992 ; Montreal>
801  3$aIT$bIT-000000$c20090729
850   $aIT-BN0095          
912   $aAQ10013063
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000012245  VMA   (0663               v. 663$fY $h19940706$i19940706
977   $a 01
996   $aComputer aided verification$91382034
997   $aUNISANNIO