Handbook of model checking

• Material Type: 図書
• ISBN: 9783319105741 (hardcover); 3319105744
• Title: Handbook of model checking
• Author/Editor: Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors.
• Author Heading: Clarke, Edmund M., Jr. (Edmund Melson), 1945-
• Publication, Distribution, etc.: Cham, Switzerland : Springer (出版)
• Publication Date: [2018]
• Publication Date (W3CDTF): 2018
• Extent: xxiv, 1210 pages
• Other physical details: illustrations
• Size: 24 cm
• Place of Publication (Country Code): CH
• Text Language Code: eng
• Genre/Form Terms: Handbooks and manuals.
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Computer systems--Verification--Handbooks, manuals, etc.; Computer systems--Verification.
• LCC: QA76.76.V47
• NDLC: M159
• Target Audience: 一般
• Holding library: 国立国会図書館
• Call No.: M159-B167
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 025910429; http://id.ndl.go.jp/bib/025910429
• LC Control Number: 2018943404; https://lccn.loc.gov/2018943404
• OCLC No.: 899228793; https://www.worldcat.org/oclc/899228793
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 211

• Summary, etc.: "Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from rese...