>> Amazon.co.jp
このページのQRコード

Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

種類:
図書
責任表示:
José Luiz Fiadeiro (ed.)
出版情報:
Berlin ; New York : Springer, c1999
著者名:
シリーズ名:
Lecture notes in computer science ; 1589 <BA00009279>
ISBN:
9783540662464 [3540662464]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers

WADT, Parisi Presicce, Francesco

Springer
7 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of Joint European Conferences on Theory and Practice of …

European Symposium on Programming, Hankin, Chris

Springer-Verlag
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 図書 Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, …

Workshop on Specification of Abstract Data Types, Ehrig, Hartmut, Orejas, Fernando, COMPASS Workshop

Springer-Verlag
3 図書 Compiler construction : 7th International Conference, CC '98, held as part of the Joint European Conferences on the Theory and Practice of Software, ETAPS '98, …

International Workshop on Compiler Construction CC, Koskimies, Kai

Springer
9 電子ブック Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, …

Ehrig, Hartmut, Orejas, Fernando, SpringerLink (Online service)

Springer-Verlag
4 図書 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on …

Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Steffen, Bernhard

Springer
10 電子ブック Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, …

Ehrig, Hartmut., Orejas, Fernando., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers

Workshop on Specification of Abstract Data Types, Sannella, Donald, 1956-, Tarlecki, Andrzej, 1956-

Springer-Verlag
11 図書 Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice …

FASE, Astesiano, E. (Egidio), 1939-, International Joint Conference on Theory and Practice of Software Development

Springer
6 電子ブック Recent Trends in Data Type Specification : 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Sannella, D., Tarlecki, A., SpringerLink (Online service)

Springer-Verlag
12 電子ブック Sensor Systems and Software : Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

Martins, Francisco., Lopes, Luís., Paulino, Hervé., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer