LEADER 01281nam2 22003253i 450 
001 NAP0512985
005 20240614063111.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$3NAPC228169$9I
676   $a511.3$9PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.35$9Logica matematica (Logica simbolica). Teoria della ricorsività$v22
801  3$aIT$bIT-NA0079$c20110628
850   $aIT-BN0095          
912   $aNAP0512985
950  2$aBiblioteca Centralizzata di Ateneo$cv. 1$d 01SALA DING 511.3                   JEN.co$e 0102 0000085845    N A4(0001               v. 1$f3 $h20110623$i20110628
977   $a 01
996   $aVol. 1$969654
997   $aUNISANNIO