OPAC

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.)
(Lecture notes in computer science ; 1601)

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:76.54:I54:1999		3540660100	002842509				予約・取寄		仮想書架	予約・取寄		仮想書架

一般注記	Includes bibliographical references and index
著者標目	*International Conference on Algebraic Methodology and Software Technology (5th : 1999 : Bamberg, Germany) Katoen, Joost-Pieter
件　名	LCSH:Real-time data processing -- Congresses 全ての件名で検索 LCSH:Parallel processing (Electronic computers) -- Congresses 全ての件名で検索 LCSH:Electronic data processing -- Distributed processing -- Congresses 全ての件名で検索 LCSH:Formal nethods (Computer science) -- Congresses 全ての件名で検索
分　類	LCC:QA76.54 LCC:QA76.9.F67 DC21:005.2/73
巻冊次	ISBN:3540660100
ISBN	3540660100
NCID	BA41733913

目次／あらすじ