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

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
BookPaperback
Ranking8443in
CHF70.00

Description

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.
More descriptions

Details

ISBN/GTIN978-3-319-54291-1
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date17/02/2017
Edition1st ed. 2017
SeriesLecture Notes in Computer Science
Series no.10152
Pages107 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm
Weight1883 g
IllustrationsVII, 107 p. 21 illus., schwarz-weiss Illustrationen
Article no.6953866
CatalogsBuchzentrum
Data source no.31949369
More details

Series

Author

Subjects

BZ
Application software
Applications ~ Computer and Information Systems Applications
Applications ~ Information Systems Applications (incl. Internet)
Artificial Intelligence
Automata ~ Formal Languages and Automata Theory
C
Communication ~ Computer Communication Networks
Computer Communication Networks
Computer Science Logic and Foundations of Programming
Computer and Information Systems Applications
Computer architecture & logic design
Computer communication systems
Computer logic
Engineering ~ Software Engineering
Formal Languages and Automata Theory
Formal ~ Mathematical Logic and Formal Languages
Foundations ~ Computer Science Logic and Foundations of Programming
Information Retrieval
Information Systems Applications (incl. Internet)
Information ~ Computer and Information Systems Applications
Intelligence ~ Artificial Intelligence
Internet searching
Internet ~ Information Systems Applications (incl. Internet)
Languages ~ Formal Languages and Automata Theory
Languages ~ Mathematical Logic and Formal Languages
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 ~ Computer Science Logic and Foundations of Programming
Programs ~ Logics and Meanings of Programs
Retrieval ~ Information Retrieval
Science ~ Computer Science Logic and Foundations of Programming
Software Engineering
Systems ~ Computer and Information Systems Applications
Systems ~ Information Systems Applications (incl. Internet)
Theory ~ Formal Languages and Automata Theory
and ~ Computer Science Logic and Foundations of Programming
and ~ Computer and Information Systems Applications
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
design ~ Computer architecture & logic design
hardware ~ Network hardware
logic ~ Computer architecture & logic design
logic ~ Computer logic
logic ~ Mathematical logic
science ~ computer science
searching ~ Internet searching
software ~ Application software
systems ~ Computer communication systems
theory ~ Mathematical theory of computation
VLB main reading rationale