Principles of model checking

Principles of model checking

Christel Baier, Joost-Pieter Katoen

Cambridge, Mass. : MIT Press, [2008?]

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.61-B14

10011006725

一般図書

詳細情報

刊年

2008

形態

xvii, 975 p. : ill. ; 26 cm

注記

Includes bibliographical references (p. 931-964) and index

出版国

アメリカ合衆国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Baier, Christel

Katoen, Joost-Pieter

分類

LCC:QA76.76.V47

DC22:004.2/4

件名

Computer systems -- Verification

Computer software -- Verification

ISBN

9780262026499

NCID

BA85741908

番号

NBN : GBA847597

LCCN : 2007037603