LEADER 01449nlm0 22004091i 450 
001 990009239910403321
010   $a9783540450313
035   $a000923991
035   $aFED01000923991
035   $a(Aleph)000923991FED01
035   $a000923991
100   $a20100926d2006----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aFormal Modeling and Analysis of Timed Systems$bRisorsa elettronica$e4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings$fedited by Eugene Asarin, Patricia Bouyer
210   $aBerlin ; Heidelberg$cSpringer$d2006
225 1 $aLecture Notes in Computer Science$x0302-9743$v4202
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aAsarin,$bEugene
702  1$aBouyer,$bPatricia
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/11867340
901   $aEB
912   $a990009239910403321
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aProgramming Languages, Compilers, Interpreters
961   $aSoftware engineering
961   $aSoftware Engineering
961   $aSpecial Purpose and Application-Based Systems
996   $aFormal Modeling and Analysis of Timed Systems$9772562
997   $aUNINA

LEADER 01060nam--2200337---450-
001 990006134850203316
005 20160323104859.0
010   $a978-2-7283-0993-1
035   $a000613485
035   $aUSA01000613485
035   $a(ALEPH)000613485USA01
035   $a000613485
100   $a20160323d2015----km-y0itay50------ba
101   $afre
102   $aFR
105   $a||||||||001yy
200 1 $aMusique et musiciennes à Venise$ehistoire sociale des Ospedali$fpar Caroline Giron-Panel
210   $aRome$cEcole française de Rome$d2015
215   $a1082 p.$d24 cm
225 2 $aBibliothèque des écoles françaises d'Athènes et de Rome$v363
606 0 $aOspizi$xMusica$yVenezia$zSec. 18.$2BNCF
676   $a780.945311
700  1$aGIRON-PANEL,$bCaroline$0715742
801  0$aIT$bsalbc$gISBD
912   $a990006134850203316
951   $aXIII.3.C. 337$b249505 LM$cXIII.3.C.$d387502
959   $aBK
969   $aUMA
979   $aCHIARA$b90$c20160323$lUSA01$h1048
996   $aMusique et musiciennes à Venise$91385643
997   $aUNISA