詳細情報

刊年

2004

形態

x, 247 p. ; 24 cm

シリーズ名

Monographs in theoretical computer science : an EATCS series

注記

Includes bibliographical references and index

出版国

アメリカ合衆国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Zhou, Chaochen, 1937-

Hansen, Michael R., 1956-

分類

LCC:QA76.54

DC22:005.2/73

件名

Real-time data processing

Formal methods (Computer science)

Mathematics -- Data processing

ISBN

3540408231

NCID

BA65154477

番号

LCCN : 2003066406