LEADER 03178nam  22005775  450 
001 996466455303316
005 20230221215751.0
010   $a3-030-11245-4
024 7 $a10.1007/978-3-030-11245-5
035   $a(CKB)4100000007463733
035   $a(DE-He213)978-3-030-11245-5
035   $a(MiAaPQ)EBC5919885
035   $a(PPN)233799648
035   $a(EXLCZ)994100000007463733
100   $a20190110d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerification, Model Checking, and Abstract Interpretation$b[electronic resource] $e20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings /$fedited by Constantin Enea, Ruzica Piskac
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XVII, 602 p. 1329 illus., 69 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11388
311   $a3-030-11244-6 
327   $aProgram verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Decision procedures -- Theorem proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems.
330   $aThis book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11388
606   $aComputer science
606   $aSoftware engineering
606   $aComputer networks
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aComputer Communication Networks
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer networks.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aComputer Communication Networks.
676   $a005.14
702   $aEnea$b Constantin$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPiskac$b Ruzica$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466455303316
996   $aVerification, Model Checking, and Abstract Interpretation$92593983
997   $aUNISA

LEADER 00922nam0 22002531i 450 
001 UON00212570
005 20231205103340.635
100   $a20030730d1979       |0itac50      ba
101   $agre
102   $aGR
105   $a||||    1||||
200 1 $aTragoudia tou akritikou kyklou$fKosta Romaiou
210   $aAthena$c[s.e.]$d1979
215   $a262 p.$d25 cm.
316   $aFatt. n. 5803/98.$5IT-UONSI GRECOE/0215
606   $aMUSICA GRECA$xStudi$3UONC028472$2FI
620   $aGR$dAtene$3UONL000203
700  1$aROMAIOS$bKosta$3UONV128169$00
801   $aIT$bSOL$c20240220$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00212570
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI GRECO     E                                   0215                $eSI EO 29681    5        0215                Fatt. n. 5803/98.
996   $aTragoudia tou akritikou kyklou$91261558
997   $aUNIOR