LEADER 01612nem0-2200421---450 
001 990009280020403321
005 20170615135521.0
035   $a000928002
035   $aFED01000928002
035   $a(Aleph)000928002FED01
035   $a000928002
100   $a20101116d1982----km-y0itay50------ba
101 0 $aita
102   $aIT
120   $ab-y------aa--
121   $aaa-aabb-a$b--------
123 1 $aa$b1:50000$de0152000$ee0154000$fn0420000$gn0414800
123 1 $aa$b1:50000$de0152730$ee0153230$fn0420900$gn0420600
124   $aa$bd$c--$db$e-$f--$g--
200 1 $aSannicandro Gargānico$bDocumento cartografico$aIsole Trčmiti$fIstituto geografico militare
206   $a1:50000 ; proiezione conforme universale trasversa di Mercatore (E15°20'-E15°40'/N42°00'-N41°48')
206   $a1:50000 ; proiezione conforme universale trasversa di Mercatore (E15°27'30''-E15°32'30''/N42°09'-N42°06')
210   $aFirenze$cIstituto Geografico militare$d1982
215   $a2 carte su un foglio$ccolor.$d57 x 47 cm, 15 x 12 cm su foglio 77 x 62 cm
225 1 $aCarta topografica d'Italia$iSerie 50$iSerie M 792$v383
300   $aSulle ricognizioni parziale del 1979
540 1 $aFoglio 383
610 0 $aPuglia$aCarte
710 02$aIstituto geografico militare$05005
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aMP
912   $a990009280020403321
952   $aMP Cass.1 50 (383)$bI.G. 1977$fILFGE
952   $aMP Cass.1 50 (383)bis$bB.F.L.F. 57477$fILFGE
959   $aILFGE
996   $aIsole Trčmiti$9768009
996   $aSannicandro Gargānico$9768014
997   $aUNINA

LEADER 02877nam  22007095  450 
001 996673179003316
005 20250828130208.0
010   $a3-032-00942-1
024 7 $a10.1007/978-3-032-00942-5
035   $a(MiAaPQ)EBC32274051
035   $a(Au-PeEL)EBL32274051
035   $a(CKB)40430597100041
035   $a(DE-He213)978-3-032-00942-5
035   $a(EXLCZ)9940430597100041
100   $a20250828d2026      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods for Industrial Critical Systems $e30th International Conference, FMICS 2025, Aarhus, Denmark, August 27?28, 2025, Proceedings /$fedited by Anne Remke, Bernhard Steffen
205   $a1st ed. 2026.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026.
215   $a1 online resource (421 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16040
311 08$a3-032-00941-3 
330   $aThis book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27?28, 2025. The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v16040
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aApplication software
606   $aArtificial intelligence
606   $aComputer science
606   $aComputer networks
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aComputer and Information Systems Applications
606   $aArtificial Intelligence
606   $aTheory of Computation
606   $aComputer Communication Networks
615  0$aCompilers (Computer programs)
615  0$aSoftware engineering.
615  0$aApplication software.
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aComputer networks.
615 14$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aComputer and Information Systems Applications.
615 24$aArtificial Intelligence.
615 24$aTheory of Computation.
615 24$aComputer Communication Networks.
676   $a005.45
700   $aRemke$b Anne$01785196
701   $aSteffen$b Bernhard$0878620
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996673179003316
996   $aFormal Methods for Industrial Critical Systems$94428596
997   $aUNISA