Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers

>> Amazon.co.jp

このページの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

著者名:

シリーズ名:

Lecture notes in computer science ; 1376 <BA00009279>

ISBN:

9783540642992 [3540642994]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Abstract data types (Computer science); Computer science--Mathematics--Congresses; Computer software--Development--Congresses
分類・件名:	NDC9 : 007 LCSH : Computer software -- Development -- Congresses LCSH : Computer science -- Mathematics -- Congresses LCSH : Abstract data types (Computer science)
LCCN:	98006358
TTLL:	eng
言語:	英語
形態:	viii, 433 p. : ill. ; 24 cm
書誌ID:	BA35353893

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers WADT, Fiadeiro, José Luiz Springer	7 図書 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
2 図書 Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers Bert, Didier, Choppy, C. (Christine), Mosses, Peter, International Workshop on Algebraic Development Techniques Springer	8 図書 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, … International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940- Springer-Verlag
3 図書 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	9 図書 6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 Refinement Workshop, Till, David, British Computer Society. Specialist Group in Formal Aspects of Computing Science Springer-Verlag
4 図書 Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May … Workshop on Specification of Abstract Data Types, Astesiano, E. (Egidio), 1939-, Reggio, Gianna, 1957-, Tarlecki, … Springer-Verlag	10 図書 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : … Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Brinksma, Ed Springer
5 電子ブック Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May … Astesiano, Egidio, Reggio, Gianna, Tarlecki, Andrzej, SpringerLink (Online service) Springer-Verlag	11 図書 Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers ICSE, Lamb, David Alex, 1954- Springer
6 電子ブック Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May … Astesiano, Egidio., Reggio, Gianna., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 図書 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings EWSPT, Schäfer, Wilhelm Springer-Verlag