단행본 상세

서지주요정보
Concise Guide to Software Verification: From Model Checking to Annotation Checking
서명 / 저자 Concise Guide to Software Verification [electronic resource] : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs.
저자명 Huisman, Marieke. author. aut http://id.loc.gov/vocabulary/relators/aut
Wijs, Anton. author. (orcid)0000-0002-2071-9624 https://orcid.org/0000-0002-2071-9624 aut http://id.loc.gov/vocabulary/relators/aut
단체명 SpringerLink (Online service)
판사항 1st ed. 2023.
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2023.
총서명 Texts in Computer Science, 1868-095X
Online Access https://doi.org/10.1007/978-3-... URL

서지기타정보

서지기타정보
ISBN 9783031301674
기타 표준번호 10.1007/978-3-031-30167-4
청구기호 QA76.76.T48
형태사항 IX, 248 p. 146 illus., 127 illus. in color. online resource.
언어 English
내용 1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4. Crash Course on Temporal Logic and its Verification -- 5. Software Analysis -- 6. Crash Course on Design by Contract Specifications -- 7. Run-time checking of Design by Contract Specifications -- 8. Static Checking of Design by Contract Specification -- 9. Abstract Specifications.
주제 Computer programs --Testing.
Software engineering.
Number theory.
Software Testing.
Software Engineering.
Computational Number Theory.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031301667 Printed edition: 9783031301681 Printed edition: 9783031301698
QR CODE