서지주요정보
Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / [electronic resource]
서명 / 저자 Tests and Proofs [electronic resource] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu.
판사항 1st ed. 2023.
발행사항 Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 14066
Online Access https://doi.org/10.1007/978-3-031-38828-6URL

서지기타정보

서지기타정보
청구기호 BC177
형태사항 XXII, 187 p. 65 illus., 17 illus. in color. online resource.
언어 English
내용 Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement.
주제 Reasoning.
Computer science.
Informal Logic.
Models of Computation.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031388279 Printed edition: 9783031388293
ISBN 9783031388286
기타 표준번호 10.1007/978-3-031-38828-6
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서