Foundations of Software Science and Computational Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

>> Google Books

Foundations of Software Science and Computational Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / edited by Andrew D. Gordon

版:

1st ed. 2003

資料種別:

電子ブック

形態:

XII, 440 p.

シリーズ名:

Lecture Notes in Computer Science ; 2620

著者名:

ISBN:

9783540365761 [3540365761]
9783662166376 [3662166372]
9783540008972 [3540008977]

書誌ID:

EB00004195

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Software Engineering; Theory of Computation

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on … Walukiewicz, Igor., SpringerLink (Online service)	7 電子ブック Compiler Construction : 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, … Hedin, Görel., SpringerLink (Online service)
2 電子ブック Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on … Nivat, Maurice., SpringerLink (Online service)	8 電子ブック Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on … Thomas, Wolfgang., SpringerLink (Online service)
3 電子ブック Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on … Nielsen, Mogens., Engberg, Uffe., SpringerLink (Online service)	9 電子ブック Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on … Sassone, Vladimiro., SpringerLink (Online service)
4 電子ブック Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory … Honsell, Furio., Miculan, Marino., SpringerLink (Online service)	10 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on … Garavel, Hubert., Hatcliff, John., SpringerLink (Online service)
5 電子ブック Fundamental Approaches to Software Engineering : 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice … Pezzè, Mauro., SpringerLink (Online service)	11 電子ブック Foundation of Software Science and Computation Structures : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on … Tiuryn, Jerzy., SpringerLink (Online service)
6 電子ブック Programming Languages and Systems : 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of … Degano, Pierpaolo., SpringerLink (Online service)	12 電子ブック Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of … Le Metayer, Daniel., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12