Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
BookPaperback
Ranking8443in
CHF110.00

Description

VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
More descriptions

Details

ISBN/GTIN978-3-319-52233-3
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date12/01/2017
Edition1st ed. 2017
SeriesLecture Notes in Computer Science
Series no.10145
Pages560 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm
Weight8657 g
IllustrationsXVII, 560 p. 150 illus., schwarz-weiss Illustrationen
Article no.4670826
CatalogsBuchzentrum
Data source no.21964312
More details

Series

Author

Subjects

BZ
Abstract ~ Computation by Abstract Devices
Automata ~ Formal Languages and Automata Theory
C
Communication ~ Computer Communication Networks
Compilers & interpreters
Compilers and Interpreters
Compilers ~ Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
Computation ~ Theory of Computation
Computer Communication Networks
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
Computer communication systems
Computer logic
Computers
Devices ~ Computation by Abstract Devices
Electronic computers (Programming languages)
Engineering ~ Software Engineering
Formal Languages and Automata Theory
Formal ~ Mathematical Logic and Formal Languages
Foundations ~ Computer Science Logic and Foundations of Programming
Interpreters ~ Compilers and Interpreters
Interpreters ~ Programming Languages, Compilers, Interpreters
Languages ~ Formal Languages and Automata Theory
Languages ~ Mathematical Logic and Formal Languages
Languages ~ Programming Languages, Compilers, Interpreters
Logic ~ Computer Science Logic and Foundations of Programming
Logic ~ Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Mathematical theory of computation
Meanings ~ Logics and Meanings of Programs
Network hardware
Networks ~ Computer Communication Networks
Programming & scripting languages: general
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Programming ~ Computer Science Logic and Foundations of Programming
Programs ~ Logics and Meanings of Programs
Science ~ Computer Science Logic and Foundations of Programming
Software Engineering
Theory of Computation
Theory ~ Formal Languages and Automata Theory
and ~ Compilers and Interpreters
and ~ Computer Science Logic and Foundations of Programming
and ~ Formal Languages and Automata Theory
and ~ Logics and Meanings of Programs
and ~ Mathematical Logic and Formal Languages
architecture ~ Computer architecture & logic design
communication ~ Computer communication systems
computation ~ Mathematical theory of computation
computer science
computers ~ Programming languages (Electronic computers)
design ~ Computer architecture & logic design
general ~ Programming & scripting languages: general
hardware ~ Network hardware
interpreters ~ Compilers & interpreters
languages ~ Programming & scripting languages: general
languages ~ Programming languages (Electronic computers)
logic ~ Computer architecture & logic design
logic ~ Computer logic
logic ~ Mathematical logic
science ~ computer science
scripting ~ Programming & scripting languages: general
systems ~ Computer communication systems
theory ~ Mathematical theory of computation
Zeitfracht
VLB main reading rationale