LEADER 01027nam0-22003131i-450-
001 990007854590403321
005 20040204130722.0
035   $a000785459
035   $aFED01000785459
035   $a(Aleph)000785459FED01
035   $a000785459
100   $a20040204d1976----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $ay-------001yy
200 1 $a<<2: >>Norme transitorie (artt. 224-240) e nota aggiuntiva sulla pubblicita immobiliare nel sistema tavolare$fa cura di Giovanni Gabrielli
210   $aMilano$cGiuffre$d1976
215   $a524 p.$d25 cm
300   $aContiene: Precedenti e fonti legislative
461  1$1001IT\ICCU\MILˆ765$12001
676   $a340$v11 rid.$zita
702  1$aGabrielli,$bGiovanni$f<1939- >
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990007854590403321
952   $aN4 30$b620$fDSI
959   $aDSI
996   $aNorme transitorie (artt. 224-240) e nota aggiuntiva sulla pubblicita immobiliare nel sistema tavolare$9671001
997   $aUNINA

LEADER 00785nam0-2200289 --450 
001 9910210755803321
005 20170725111750.0
010   $a88-13-21148-1
020   $aIT$b99-8147
100   $a20170725d1998----kmuy0itay5050    ba
101 0 $aita
102   $aIT
105   $a        001yy
200 1 $aEsercizi di economia politica$fPaola Parravicini, Donatella Porrini
210   $aPadova$cCEDAM$d1998
215   $a274 p.$d24 cm
610 0 $aEconomia$aEsercizi
676   $a330.076$v20
700  1$aParravicini,$bPaola$0551825
701  1$aPorrini,$bDonatella$0266762
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901  0$aBK
912   $a9910210755803321
952  0$aC/2 PAR$fSES
959  0$aSES
996   $aEsercizi di economia politica$9970411
997   $aUNINA

LEADER 02582nam  22005175  450 
001 996466054103316
005 20200703060009.0
010   $a3-642-41071-5
024 7 $a10.1007/978-3-642-41071-0
035   $a(CKB)3710000000015962
035   $a(SSID)ssj0000988142
035   $a(PQKBManifestationID)11621610
035   $a(PQKBTitleCode)TC0000988142
035   $a(PQKBWorkID)10950249
035   $a(PQKB)10062220
035   $a(DE-He213)978-3-642-41071-0
035   $a(MiAaPQ)EBC3093489
035   $a(PPN)172430445
035   $a(EXLCZ)993710000000015962
100   $a20130830d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods: Foundations and Applications$b[electronic resource] $e16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings /$fedited by Juliano Iyoda, Leonardo de Moura
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 243 p. 81 illus.) 
225 1 $aProgramming and Software Engineering ;$v8195
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-41070-7 
327   $aFoundational and methodological issues in formal methods -- Design and analysis of software systems -- Design and analysis of hardware systems.- Applications in various domains.
330   $aThis book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
410  0$aProgramming and Software Engineering ;$v8195
606   $aComputer science
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
615  0$aComputer science.
615 14$aComputer Science, general.
676   $a004
702   $aIyoda$b Juliano$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Moura$b Leonardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466054103316
996   $aFormal Methods: Foundations and Applications$9773789
997   $aUNISA