![Numerical software verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers](https://image.aladin.co.kr/product/10179/35/cover/3319542915_2.jpg)
Numerical software verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
| 000 | 00000cam u2200205 a 4500 | |
| 001 | 000045991944 | |
| 005 | 20190829163734 | |
| 006 | m d | |
| 007 | cr | |
| 008 | 190726s2017 sz a ob 101 0 eng d | |
| 020 | ▼a 9783319542911 | |
| 020 | ▼a 9783319542928 (e-book) | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 050 | 4 | ▼a QA76.9.L63 |
| 082 | 0 4 | ▼a 005.1/4 ▼2 23 |
| 084 | ▼a 005.14 ▼2 DDCK | |
| 090 | ▼a 005.14 | |
| 111 | 2 | ▼a NSV (Workshop) ▼n (9th : ▼d 2016 : ▼c Toronto, Ont.). |
| 245 | 1 0 | ▼a Numerical software verification ▼h [electronic resource] : ▼b 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers / ▼c Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar, editors. |
| 260 | ▼a Cham : ▼b Springer, ▼c c2017. | |
| 300 | ▼a 1 online resource (vii, 107 p.) : ▼b ill. | |
| 490 | 1 | ▼a Theoretical Computer Science and General Issues ; ▼v 10152 |
| 500 | ▼a Title from e-Book title page. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 505 | 0 | ▼a Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS). |
| 520 | ▼a 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. | |
| 530 | ▼a Issued also as a book. | |
| 538 | ▼a Mode of access: World Wide Web. | |
| 650 | 0 | ▼a Computer software ▼x Verification ▼v Congresses. |
| 700 | 1 | ▼a Bogomolov, Sergiy. |
| 700 | 1 | ▼a Martel, Matthieu. |
| 700 | 1 | ▼a Prabhakar, Pavithra. |
| 830 | 0 | ▼a Theoretical Computer Science and General Issues ; ▼v 10152. |
| 856 | 4 0 | ▼u https://oca.korea.ac.kr/link.n2s?url=https://doi.org/10.1007/978-3-319-54292-8 |
| 945 | ▼a KLPA | |
| 991 | ▼a E-Book(소장) |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/e-Book 컬렉션/ | 청구기호 CR 005.14 | 등록번호 E14015796 | 도서상태 대출불가(열람가능) | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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.
정보제공 :
목차
Verification and validation of global properties, Implementation of numerical techniques on modern hardware Development and analysis of cyber-physical systems (CPS).