Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.)

資料種別:

図書

出版情報:

Berlin ; New York : Springer, c1998

形態:

viii, 433 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1376 <BA00009279>

著者名:

ISBN:

9783540642992 [3540642994]

書誌ID:

BA35353893

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Abstract data types (Computer science); Computer science--Mathematics--Congresses; Computer software--Development--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : … WADT, Cerioli, Maura, Reggio, Gianna, 1957- Springer	7 図書 Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954- Springer-Verlag
2 図書 Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected … WADT, Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf Springer	8 図書 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
3 図書 Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers WADT, Bert, Didier, Choppy, C. (Christine), Mosses, Peter D. Springer	9 電子ブック Recent Trends in Algebraic Development Techniques WADT '98, Fiadeiro, José Luiz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Recent Trends in Algebraic Development Techniques WADT '97, Parisi Presicce, Francesco SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 The unified modeling language : 《UML》 '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers UML, Bézivin, J. (Jean), Muller, Pierre-Alain Springer-Verlag
5 図書 Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers WADT, Fiadeiro, José Luiz, 1961- Springer	11 電子ブック Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1. 3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected … Madeira, Alexandre., Martins, Manuel A. SpringerLink Books - AutoHoldings, Springer
6 図書 Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers WADT, Fiadeiro, José Luiz, 1961-, Mosses, Peter D., Orejas, Fernando Springer	12 電子ブック Recent Trends in Algebraic Development Techniques WADT 2001, Cerioli, Maura, Reggio, Gianna SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12