Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore D. Zuck (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2005

形態:

xvii, 588 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3440 <BA00009279>

著者名:

ISBN:

9783540253334 [3540253335]

書誌ID:

BA71483983

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 2005 : proceedings Tools and algorithms for the construction and analysis of systems : TACAS 2005
注記:	Includes bibliographical references and index
主題:	Computer software--Development--Congresses; System design--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on … TACAS, Katoen, Joost-Pieter, Stevens, Perdita, European Conferences on Theory and Practice of Software Springer	7 図書 Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on … TACAS, Jensen, K. (Kurt), 1950-, Podelski, Andreas, European Conferences on Theory and Practice of Software Springer
2 図書 Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on … TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966- Springer	8 電子ブック Tools and Algorithms for the Construction and Analysis of Systems TACAS 2005, Halbwachs, Nicolas, Kanade, Takeo, Zuck, Lenore D., Zuck, Lenore Springer eBooks Computer Science, Springer Berlin / Heidelberg
3 図書 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on … TACAS, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software Springer	9 電子ブック Tools and Algorithms for the Construction and Analysis of Systems TACAS 2005, Halbwachs, Nicolas, Kanade, Takeo, Zuck, Lenore D., Zuck, Lenore, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
4 図書 Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on … TACAS, Graf, Susanne, Schwartzbach, Michael I, European Conferences on Theory and Practice of Software Springer	10 図書 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : … (: pbk) TACAS, Brinksma, Ed Springer
5 図書 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on … TACAS, European Conferences on Theory and Practice of Software, Steffen, Bernhard Springer	11 図書 Compiler construction : 14th International Conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 … International Workshop on Compiler Construction, Bodik, Rastislav, European Conferences on Theory and Practice of … Springer
6 図書 Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as part of the Joint European Conferences on … TACAS, European Conferences on Theory and Practice of Software, Hermanns, Holger, Palsberg, Jens Springer	12 図書 Fundamental approaches to software engineering : 8th International Conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice … FASE, Cerioli, Maura, European Conferences on Theory and Practice of Software Springer

1

2

3

4

5

6

7

8

9

10

11

12