Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85)

>> Google Books

所蔵情報QRコード

Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) / edited by Hartmut Ehrig ... [et al.]

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1985

形態:

xiii, 418 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1 <BA00009279>

著者名:

ISBN:

9783540151982 [3540151982] (: gw)
9780387151984 [0387151982] (: us)

書誌ID:

BA00009268

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes index
主題:	プログラミング(電子計算機)
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック 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)	7 図書 Formal methods and software development : Colloquium on Software Engineering (CSE) (: gw ; : us) International Joint Conference on Theory and Practice of Software Development, Colloquium on Software Engineering, … Springer-Verlag
2 電子ブック 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)	8 図書 Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) (: gw ; : us) International Joint Conference on Theory and Practice of Software Development, Díaz, Josep, 1950-, Orejas, Fernando, … Springer-Verlag
3 図書 Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) (: gw ; : us) International Joint Conference on Theory and Practice of Software Development, Ehrig, Hartmut, Advanced Seminar on … Springer-Verlag	9 電子ブック Mathematical Foundations of Software Development Ehrig SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック 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)	10 図書 Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) (: gw ; : us) International Joint Conference on Theory and Practice of Software Development, Ehrig, Hartmut, Advanced Seminar on … Springer-Verlag
5 電子ブック TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: … Ehrig, Hartmut., Kowalski, Robert A., Levi, Giorgio., Montanari, Ugo., SpringerLink (Online service)	11 図書 Colloquium on Trees in Algebra and Programming (CAAP '91) (: gw ; : us) International Joint Conference on Theory and Practice of Software Development, Colloquium on Trees in Algebra and … Springer-Verlag
6 電子ブック Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, … Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)	12 図書 TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings International Joint Conference on Theory and Practice of Software Development, Bidoit, M. (Michel), 1957-, Dauchet, Max, … Springer

1

2

3

4

5

6

7

8

9

10

11

12