|
|
|
|
| LEADER |
02585nam a22005295i 4500 |
| 001 |
10345 |
| 003 |
DE-He213 |
| 005 |
20130725194612.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100301s2010 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783642113192
|9 978-3-642-11319-2
|
| 024 |
7 |
# |
|a 10.1007/978-3-642-11319-2
|2 doi
|
| 050 |
# |
4 |
|a QA76.758
|
| 072 |
# |
7 |
|a UMZ
|2 bicssc
|
| 072 |
# |
7 |
|a COM051230
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 100 |
1 |
# |
|a Barthe, Gilles.
|e editor.
|
| 245 |
1 |
0 |
|a Verification, Model Checking, and Abstract Interpretation
|b 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
|c edited by Gilles Barthe, Manuel Hermenegildo.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
| 300 |
# |
# |
|a X, 397p. 105 illus.
|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 Lecture Notes in Computer Science,
|v 5944
|x 0302-9743 ;
|
| 520 |
# |
# |
|a This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Software engineering.
|
| 650 |
# |
0 |
|a Computer software.
|
| 650 |
# |
0 |
|a Logic design.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Programming Techniques.
|
| 650 |
2 |
4 |
|a Software Engineering/Programming and Operating Systems.
|
| 700 |
1 |
# |
|a Hermenegildo, Manuel.
|e editor.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642113185
|
| 830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 5944
|x 0302-9743 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-11319-2
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 912 |
# |
# |
|a ZDB-2-LNC
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|