Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

xv, 782 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2772 <BA00009279>

著者名:

ISBN:

9783540210023 [3540210024]

書誌ID:

BA66316020

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	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.
主題:	Computer software--Verification
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday Dershowitz, Nachum., SpringerLink (Online service)	7 図書 Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday Karhumäki, Juhani, Maurer, Hermann, Păun, Gheorghe, Rozenberg, Grzegorz Springer
2 電子ブック Verification: Theory and Practice Nachum Dershowitz, Dershowitz, Nachum, Manna, Zohar SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday Bowen, Jonathan P., Li, Qin, Xu, Qiwen SpringerLink Books - AutoHoldings, Springer
3 電子ブック Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday Blass, Cégielski, Patrick, Dershowitz, Nachum, Droste, Manfred, Finkbeiner, Bernd SpringerLink Books - AutoHoldings, Springer International Publishing	9 電子ブック Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday Karhumäki, Juhani., Maurer, Hermann., Paun, Gheorghe., Rozenberg, Grzegorz., SpringerLink (Online service)
4 電子ブック Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His … Lopez-Garcia, Pedro., Gallagher, John P., Giacobazzi, Roberto SpringerLink Books - AutoHoldings, Springer	10 図書 Topics in functional analysis : essays dedicated to M.G. Krein on the occasion of his 70th birthday Kreĭn, M. G. (Mark Grigorʹevich), 1907-, Gohberg, Israel, 1928-, Kac, Mark, 1914-1984 Academic Press
5 図書 Topics in operator theory and interpolation : essays dedicated to M.S. Livsic on the occasion of his 70th birthday (: Basel ; : Boston) Gohberg, Israel, 1928-, Livšic, Moshe S., 1917- Birkhäuser Verlag	11 図書 Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday Jonoska, Nataša, 1961-, Păun, Gheorghe, 1950-, Rozenberg, Grzegorz Springer
6 図書 Operator theory in function spaces and Banach lattices : essays dedicated to A.C. Zaanen on the occasion of his 80th birthday (sz ; us) Zaanen, Adriaan Cornelis, 1913-, Huijsmans, C. B Birkhäuser Verlag	12 図書 Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday Middeldorp, Aart, 1963-, Klop, J. W. (Jan Willem), 1945- Springer

1

2

3

4

5

6

7

8

9

10

11

12