LEADER 00934nam0-2200313---450-
001 990008144750403321
005 20070108143138.0
010   $a2-213-60921-7
035   $a000814475
035   $aFED01000814475
035   $a(Aleph)000814475FED01
035   $a000814475
100   $a20050707d2001----km-y0itay50------ba
101 0 $aeng
102   $aFR
105   $a--------001yy
200 1 $aD'Alexandre à Zénobie$ehistoire du Levant antique, IVe siècle avant J.-C.-IIIe siècle après J.-C.$fMaurice Sartre
205   $aNouvelle édition revue et mise à jour
210   $a[Paris]$cFayard$d2001
215   $a1194 p.$cill.$d24 cm
676   $a939.43
700  1$aSartre,$bMaurice$0287115
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008144750403321
952   $aDDR-XIX Da VIII 004$b8457 ddr$fDDR$m21-6806
959   $aDDR
996   $aD'Alexandre à Zénobie$9756870
997   $aUNINA

LEADER 01217nam2-2200385---450-
001 990003147120203316
005 20080929101435.0
010   $a978-3-540-69849-4
035   $a000314712
035   $aUSA01000314712
035   $a(ALEPH)000314712USA01
035   $a000314712
100   $a20080919d2008----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $a25 years of model checking$ehistory, achievements, perspectives$fOrna Grumberg, Helmut Veith (Eds.)
210   $aBerlin (etc.)$cSpringer$dcopyr. 2008
215   $aVI, 230 p.$cill.$d24 cm
225 2 $aLecture Notes in Computer Science$iFestschrift$v5000
410  0$12001$aLecture Notes in Computer Science
461  1$1001000314960$12001$aLecture Notes in Computer Science
606 0 $aSistemi Complessi
676   $a004.24
702  1$aGRUMBERG,$bOrna
702  1$aVEITH,$bHelmut
801  0$aIT$bsalbc$gISBD
912   $a990003147120203316
951   $a001 LNCS 5000$b37216/CBS$c001$d0217614
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080919$lUSA01$h0949
979   $aCBAS$b10$c20080929$lUSA01$h1014
996   $a25 Years of Model Checking$9774344
997   $aUNISA