このページのリンク

Automatic verification of sequential infinite-state processes / Olaf Burkart
(Lecture notes in computer science ; 1354)

データ種別 図書
出版者 Berlin : Springer
出版年 c1997
本文言語 英語
大きさ x, 163 p.; 24 cm

所蔵情報を非表示

書庫2階 T:57.6:B875:1997
3540639829 002632872

書誌詳細を非表示

一般注記 Includes bibliographical references (p. [155]-159) and index
著者標目 *Burkart, Olaf
件 名 LCSH:Computer software -- Verification  全ての件名で検索
LCSH:Software engineering
LCSH:Branch and bound algorithms
分 類 LCC:QA76.76.V47
DC21:005.1/4
巻冊次 ISBN:3540639829 REFWLINK
ISBN 3540639829
NCID BA34096321 WCLINK
目次/あらすじ

 類似資料