TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

>> Google Books

所蔵情報QRコード

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)

資料種別:

図書

出版情報:

Berlin ; New York ; Tokyo : Springer, c1995

形態:

xv, 810 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 915 <BA00009279>

著者名:

International Joint Conference on Theory and Practice of Software Development <DA00902980>

Mosses, Peter D. <DA0676798X>

Nielsen, M. (Mogens), 1949- <DA02382189>

Schwartzbach, Michael I <DA07934293>

Colloquium on Trees in Algebra and Programming <DA00018389>

Colloquium on Formal Approaches of Software Engineering <DA07263154>

さらに 1 件

ISBN:

9783540592938 [3540592938]
9780387592930 [0387592938] (: us)

書誌ID:

BA25034425

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	"TAPSOFT '95 is the Sixth International Joint Conference on the Theory and Practice of Software Development"--Pref Includes bibliographical references and index
主題:	Computer software--Development--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック TAPSOFT '95: Theory and Practice of Software Development International Joint Conference on Theory and Practice of Software Development, Mosses, Peter, Nielsen, Mogens, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 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
2 図書 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	8 電子ブック 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)
3 図書 TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings (: gw ; : us) International Joint Conference on Theory and Practice of Software Development, Gaudel, M.-C. (Marie-Claude), Jouannaud, … Springer-Verlag	9 図書 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
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 図書 Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers TACAS, Brinksma, Ed Springer
5 電子ブック 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)	11 図書 Application and theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 : proceedings International Conference on Applications and Theory of Petri Nets, Nielsen, M. (Mogens), 1949-, Simpson, D. (Dan), 1942- Springer
6 図書 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	12 電子ブック 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)

1

2

3

4

5

6

7

8

9

10

11

12