LEADER 01398nam0 22003373i 450 
001 NAP0512982
005 20251003044254.0
010   $a9783642074479
100   $a20110628d2010    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aPetri nets for systems engineering$ea guide to modeling, verification, and applications$fClaude Girault, Rüdiger Valk
210   $aBerlin [etc.]$cSpringer$d2010
215   $aXVI, 607 p.$cill.$d24 cm
606   $aInformatica$xMetodi matematici$2FIR$3NAPC231555$9I
676   $a004.01$9ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria$v14
676   $a004.0151$9ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Principi matematici$v22
696   $aScienza degli elaboratori
699   $aInformatica$yScienza degli elaboratori
700  1$aGirault$b, Claude$3MILV134068$4070$026783
701  1$aValk$b, Rudiger$3AQ1V015117$4070$0771157
801  3$aIT$bIT-000000$c20110628
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aNAP0512982
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$d 01SALA DING 004.01                  GIR.pe$e 0102 0000085815  VMA FD                    1 v.$fY $h20110623$i20110628
977   $a 01
996   $aPetri nets for systems engineering$91573572
997   $aUNISANNIO