LEADER 01098nam0-2200337 --450 
001 9910247959703321
005 20231204115111.0
010   $a978-88-6728-498-6
020   $aIT$b2016-4519
100 0 $a20180109d2015----kmuy0itay5050    ba
101 0 $aita
102   $aIT
105   $ay   c   001yy
200 1 $a1943$eMediterraneo e Mezzogiorno d'Italia$fa cura di Francesco Soverina
210   $aRoma$cViella$d2015
215   $a311 p.$d21 cm
225 1 $a<<I >>libri di Viella$v204
300   $aIn testa al frontespizio: INSMLI, Istituto nazionale per la storia del movimento di liberazione in Italia
610 0 $aGuerra mondiale 1939-1945$aItalia meridionale$a1943
676   $a940.53457$v23$zita
702  1$aSoverina,$bFrancesco
712 02$aIstituto nazionale per la storia del movimento di liberazione in Italia
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910247959703321
952   $aCollez. 2105 (204)$b1863/2017$fFSPBC
952   $a12.1767$b109/23$fDARST
959   $aDARST
959   $aFSPBC
996   $a1943$9142077
997   $aUNINA

LEADER 02979nam  22006855  450 
001 9910484110603321
005 20251226193623.0
010   $a3-642-38613-X
024 7 $a10.1007/978-3-642-38613-8
035   $a(CKB)3280000000007661
035   $a(DE-He213)978-3-642-38613-8
035   $a(SSID)ssj0000904584
035   $a(PQKBManifestationID)11493052
035   $a(PQKBTitleCode)TC0000904584
035   $a(PQKBWorkID)10923531
035   $a(PQKB)10278103
035   $a(MiAaPQ)EBC3093022
035   $a(PPN)170492435
035   $a(EXLCZ)993280000000007661
100   $a20130514d2013      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntegrated Formal Methods $e10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings /$fedited by Einar Broch Johnsen, Luigia Petre
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XIV, 443 p. 95 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v7940
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-38612-1 
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v7940
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
676   $a004.0151
702   $aJohnsen$b Einar Broch$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPetre$b Luigia$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484110603321
996   $aIntegrated Formal Methods$92860239
997   $aUNINA