Team automata : a formal approach to the modeling of collaboration between system components

Team automata : a formal approach to the modeling of collaboration between system components

door Maurice Henri ter Beek

[Leiden] : [s.n.], [2003]

図書等

巻号情報

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

1

007.1-B32

10005017085

一般図書

詳細情報

刊年

2003

形態

342 p. : ill. ; 21 cm

シリーズ名

IPA dissertation series

注記

Summary in Dutch

"Stellingen" ([1] leaf) inserted

Thesis--Universiteit Leiden, 2003

"The work in this thesis has been carried out under the auspices of the research school of IPA (Institute Programming research and Algorithmics)."--T.p. verso

Includes bibliographical references (p. [313]-319) and index

出版国

オランダ

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Beek, Maurice Henri ter, 1972-

NCID

BA83052592