LEADER 01322nam2 22003493i 450 
001 NAP0512985
005 20251003044254.0
010   $a9783642082436
100   $a20110628d2010    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 0 $aVol. 1$fKurt Jensen
205   $a2. ed.$b2. corrected printing
210   $aBerlin [etc.]$cSpringer$d2010
215   $aXII, 234 p.$d24 cm
225 | $aMonographs in theoretical computer science
410  0$1001AQ10010484$12001 $aMonographs in theoretical computer science
461  1$1001AQ10010486$12001 $aColoured Petri nets$ebasic concepts, analysis methods and practical use$fKurt Jensen$v1
606   $aReti di Petri$2FIR$3CFIC009033$9I
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.35$9Logica matematica (Logica simbolica). Teoria della ricorsività$v22
696   $aPetri, reti di
699   $aReti di Petri$yPetri, reti di
801  3$aIT$bIT-000000$c20110628
850   $aIT-BN0095          
912   $aNAP0512985
950  2$aBiblioteca Centralizzata di Ateneo$cv. 1$d 01SALA DING 511.3                   JEN.co$e 0102 0000085845  VMA A4(0001               v. 1$fY $h20110623$i20110628
977   $a 01
996   $aVol. 1$969654
997   $aUNISANNIO