Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings /

This 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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Enea, Constantin (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Piskac, Ruzica (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:1st ed. 2019.
Σειρά:Theoretical Computer Science and General Issues ; 11388
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03317nam a2200541 4500
001 978-3-030-11245-5
003 DE-He213
005 20191220125833.0
007 cr nn 008mamaa
008 190110s2019 gw | s |||| 0|eng d
020 |a 9783030112455  |9 978-3-030-11245-5 
024 7 |a 10.1007/978-3-030-11245-5  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.L63 
050 4 |a QA76.5913 
072 7 |a UM  |2 bicssc 
072 7 |a COM051000  |2 bisacsh 
072 7 |a UM  |2 thema 
072 7 |a UYF  |2 thema 
082 0 4 |a 005.1015113  |2 23 
245 1 0 |a Verification, Model Checking, and Abstract Interpretation  |h [electronic resource] :  |b 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings /  |c edited by Constantin Enea, Ruzica Piskac. 
250 |a 1st ed. 2019. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2019. 
300 |a XVII, 602 p. 1329 illus., 69 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Theoretical Computer Science and General Issues ;  |v 11388 
505 0 |a 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 -- Hybrid and cyber-physical systems. 
520 |a This 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. 
650 0 |a Computer logic. 
650 0 |a Software engineering. 
650 0 |a Computer communication systems. 
650 1 4 |a Logics and Meanings of Programs.  |0 http://scigraph.springernature.com/things/product-market-codes/I1603X 
650 2 4 |a Software Engineering.  |0 http://scigraph.springernature.com/things/product-market-codes/I14029 
650 2 4 |a Computer Communication Networks.  |0 http://scigraph.springernature.com/things/product-market-codes/I13022 
700 1 |a Enea, Constantin.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Piskac, Ruzica.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783030112448 
776 0 8 |i Printed edition:  |z 9783030112462 
830 0 |a Theoretical Computer Science and General Issues ;  |v 11388 
856 4 0 |u https://doi.org/10.1007/978-3-030-11245-5  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)