TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)

>> Google Books

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91) / edited by S. Abramsky, T.S.E. Maibaum

版:

1st ed. 1991

資料種別:

電子ブック

形態:

VIII, 455 p.

シリーズ名:

Lecture Notes in Computer Science ; 493

著者名:

ISBN:

9783540465638 [3540465634]
9783540539827 [3540539824]
9783662200445 [3662200449]

書誌ID:

EB00004090

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Colloquium on Trees in Algebra and Programming (CAAP); - Advances in Distributed Computing (ADC); - Colloquium on Combining Paradigms for Software Development (CCPSD). The first part (CAAP) is contained in Vol. 1, the other two parts constitute Vol. 2. CAAP '91 focuses on the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered in the broad sense as that of sets of discrete structures and the theory of rewriting systems over them. - Application of discrete structures in computer science: syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures,

主題:

Applications of Mathematics; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Theory of Computation

目次情報:

ブックレビュー

類似資料:

1 電子ブック TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 2: … Abramsky, S., Maibaum, T.S.E., SpringerLink (Online service)	7 電子ブック Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings Alagar, V.S., Nivat, Maurice., SpringerLink (Online service)
2 電子ブック TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings Mosses, Peter D., Nielsen, Mogens., Schwartzbach, Michael I., SpringerLink (Online service)	8 電子ブック Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings Pitt, David H., Curien, Pierre-Louis., Abramsky, Samson., Pitts, Andrew., Poigne, Axel., Rydeheard, David E., …
3 電子ブック TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced … Ehrig, Hartmut., Kowalski, Robert., Levi, Giorgio., Montanari, Ugo., SpringerLink (Online service)	9 電子ブック Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings Myers, J.Paul Jr., O'Donnell, Michael J., SpringerLink (Online service)
4 電子ブック Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), … Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)	10 電子ブック 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)
5 電子ブック TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: … Diaz, Josep., Orejas, Fernando., SpringerLink (Online service)	11 電子ブック 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)
6 電子ブック TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: … Diaz, Josep., Orejas, Fernando., SpringerLink (Online service)	12 電子ブック 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)

1

2

3

4

5

6

7

8

9

10

11

12