Reset Filters
Branch: 松江区图书馆(云间会堂文化艺术中心)

Cover is for reference only

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

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 Authors: SpringerLink Online service
Group Author: Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra
Published: Springer International Publishing : Imprint: Springer,
Publisher Address: Cham :
Publication Dates: 2017.
Literature type: eBook
Language: English
Series: Lecture Notes in Computer Science, 10152
Subjects:
Computer science
Computer communication systems
Software engineering
Computer logic
Mathematical logic
Artificial intelligence
Logics and Meanings of Programs
Computer Communication Networks
Mathematical Logic and Formal Languages
Information Systems Applications incl. Internet
Artificial Intelligence incl. Robotics
Online Access: http://dx.doi.org/10.1007/978-3-319-54292-8
Summary: 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 development of logical and mathematical techniques for the reasoning about programmability and reliability.
Carrier Form: 1 online resource (VII, 107 pages): illustrations.
ISBN: 9783319542928
Index Number: QA76
CLC: TP302.2
Contents: Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS).

Related Book Recommendations