Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

Nachum Dershowitz (ed.)

Berlin ; Tokyo : Springer, c2003

図書等

巻号情報

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

1

007.08-L49-2772

10004003401

一般図書

詳細情報

刊年

2004

形態

xv, 782 p. : ill. , port. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2772

注記

Includes bibliographical references and index

Includes photo of Zohar Manna (b.1939)

"The symposium was held in Taormina, Sicily, Italy between June 29 and July 4, 2003." - pref.

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Dershowitz, Nachum, 1951- [ Dershowitz, N ]

Manna, Zohar [ Zohar Manna ] [ Manna, Z. (Zohar) ]

分類

LCC:QA76.76.V47

DC22:005.1/4

件名

Computer software -- Verification

ISBN

3540210024

NCID

BA66316020