Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /

Show other versions (3)

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. The NSV workshop is dedicated to the dev...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bogomolov, Sergiy (Editor, http://id.loc.gov/vocabulary/relators/edt), Martel, Matthieu (Editor, http://id.loc.gov/vocabulary/relators/edt), Prabhakar, Pavithra (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017
Edition:1st ed. 2017
Series:Computer Science (Springer-11645)
Computer Science (SpringerNature-11645)
LNCS sublibrary Theoretical computer science and general issues ; 10152.
LNCS sublibrary Theoretical computer science and general issues 10152
Subjects:
Application software
Artificial intelligence
Computer logic
Computer networks
Computer science
Logic, Symbolic and mathematical
Machine theory
Software engineering
Computer Science Logic and Foundations of Programming
Logics and Meanings of Programs
Artificial Intelligence
Computer Communication Networks
Computer and Information Systems Applications
Formal Languages and Automata Theory
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages
Software Engineering
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items