LEADER 01536nlm0 22004451i 450 
001 990009263170403321
010   $a9783642050893
035   $a000926317
035   $aFED01000926317
035   $a(Aleph)000926317FED01
035   $a000926317
100   $a20100926d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aFM 2009: Formal Methods$bRisorsa elettronica$eSecond World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings$fedited by Ana Cavalcanti, Dennis R. Dams
210   $aBerlin ; Heidelberg$cSpringer$d2009
225 1 $aLecture Notes in Computer Science$x0302-9743$v5850
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aCavalcanti,$bAna
702  1$aDams,$bDennis R.
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-05089-3
901   $aEB
912   $a990009263170403321
961   $aComputer science
961   $aComputer Science
961   $aInformation Systems
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aManagement of Computing and Information Systems
961   $aMathematical Logic and Formal Languages
961   $aProgramming Languages, Compilers, Interpreters
961   $aProgramming Techniques
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aFM 2009: Formal Methods$9773761
997   $aUNINA

LEADER 00776cam0 2200241   450 
001 E600200024030
005 20230525091000.0
100   $a20070105d2006    |||||ita|0103    ba
101   $ager
102   $aDE
200 1 $aStern ohne Himmel$eRoman$fLeonie Ossowski$gmit einem Nachwort
210   $aWeinheim-Basel$cBeltz & Gelberg$d2006
215   $a179 p.$d19 cm
700  1$aOssowski$b, Leonie$3A600200040026$4070$0778227
801  0$aIT$bUNISOB$c20230525$gRICA
850   $aUNISOB
852   $aUNISOB$j830$m132800
912   $aE600200024030
940   $aM 102 Monografia moderna SBN
941   $aM
957   $a830$b001418$gSi$d132800$racquisto$1beth$2UNISOB$3UNISOB$420070105114318.0$520230525090955.0$6Spinosa
996   $aStern ohne Himmel$91687385
997   $aUNISOB