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

Runtime Verification

16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
BookPaperback
Ranking8443in
CHF110.00

Description

The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
More descriptions

Details

ISBN/GTIN978-3-319-46981-2
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date20/09/2016
Edition1st ed. 2016
SeriesLecture Notes in Computer Science
Series no.10012
Pages512 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm
Weight8015 g
IllustrationsXXI, 512 p. 111 illus., schwarz-weiss Illustrationen
Article no.4463144
CatalogsBuchzentrum
Data source no.20576729
More details

Series

Author

Subjects

BZ
Algorithm Analysis and Problem Complexity
Algorithms
Algorithms & data structures
Analysis ~ Algorithm Analysis and Problem Complexity
C
Compilers & interpreters
Compilers and Interpreters
Compilers ~ Programming Languages, Compilers, Interpreters
Complexity ~ Algorithm Analysis and Problem Complexity
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
Computer logic
Computer programming
Computer programming / software engineering
Computer system failures
Electronic computers (Programming languages)
Engineering ~ Software Engineering
Evaluation ~ System Performance and Evaluation
Foundations ~ Computer Science Logic and Foundations of Programming
Interpreters ~ Compilers and Interpreters
Interpreters ~ Programming Languages, Compilers, Interpreters
Languages ~ Programming Languages, Compilers, Interpreters
Logic ~ Computer Science Logic and Foundations of Programming
Logics and Meanings of Programs
Meanings ~ Logics and Meanings of Programs
Performance ~ System Performance and Evaluation
Problem ~ Algorithm Analysis and Problem Complexity
Programming & scripting languages: general
Programming Languages, Compilers, Interpreters
Programming Techniques
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
System Performance and Evaluation
Systems analysis & design
Techniques ~ Programming Techniques
analysis ~ Systems analysis & design
and ~ Algorithm Analysis and Problem Complexity
and ~ Compilers and Interpreters
and ~ Computer Science Logic and Foundations of Programming
and ~ Logics and Meanings of Programs
and ~ System Performance and Evaluation
architecture ~ Computer architecture & logic design
computer science
computers ~ Programming languages (Electronic computers)
data ~ Algorithms & data structures
design ~ Computer architecture & logic design
design ~ Systems analysis & design
engineering ~ Computer programming / software engineering
failures ~ Computer system failures
general ~ Programming & scripting languages: general
interpreters ~ Compilers & interpreters
languages ~ Programming & scripting languages: general
languages ~ Programming languages (Electronic computers)
logic ~ Computer architecture & logic design
logic ~ Computer logic
programming ~ Computer programming
programming ~ Computer programming / software engineering
science ~ computer science
scripting ~ Programming & scripting languages: general
software ~ Computer programming / software engineering
structures ~ Algorithms & data structures
system ~ Computer system failures
VLB main reading rationale