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

>> Google Books

所蔵情報QRコード

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

xvi, 604 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2619 <BA00009279>

著者名:

ISBN:

9783540008989 [3540008985]

書誌ID:

BA61606238

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings Tools and algorithms for the construction and analysis of systems : ETAPS 2003
注記:	Includes bibliographical references and index "ETAPS 2003 was the sixth instance of the European Joint Conferences on Theory and Practice of Software"--Foreword
主題:	Computer software--Development--Congresses; System design--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 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	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 : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on … TACAS, Halbwachs, Nicolas, Zuck, Lenore D., European Conferences on Theory and Practice of Software Springer	8 図書 Compiler construction : 12th International Conference, CC 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, … International Workshop on Compiler Construction, European Conferences on Theory and Practice of Software, Hedin, Görel Springer
3 図書 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	9 図書 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
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 TACAS 2003, Garavel, Hubert, Hatcliff, John SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
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 図書 Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on … FOSSACS, European Conferences on Theory and Practice of Software, Gordon, Andrew D. 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 : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice … FASE, European Conferences on Theory and Practice of Software, Pezzè, Mauro Springer

1

2

3

4

5

6

7

8

9

10

11

12