Modeling in event-b : system and software engineering

Modeling in event-b : system and software engineering

Jean-Raymond Abrial

Cambridge : Cambridge University Press, 2010

図書等

巻号情報

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

1

007.6-A14

70012000372

放送大禁帯出一般

詳細情報

刊年

2010

形態

xxvi, 586 p. ; 26 cm

注記

Includes bibliographical references and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Abrial, Jean-Raymond

分類

LCC:QA76.9.F67

DC22:004.01/51

件名

Formal methods (Computer science)

B method (Computer science)

Computer science -- Mathematical models

Computer systems -- Verification

ISBN

9780521895569

NCID

OU10059297

番号

LCCN : 2010001382

ID : BB10059297

NCID : BB0221366X