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

Specification of abstract data types

種類:
図書
責任表示:
Jacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf
出版情報:
Chichester ; New York : Wiley
Stuttgart : B.G. Teubner, c1996
著者名:
ISBN:
9780471950677 [047195067X] (: Wiley)  CiNii Books  Calil
9783519021155 [3519021153] (: Teubner)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 A systematic catalogue of reusable abstract data types

Uhl, Jürgen, 1956-, Schmid, Hans Albrecht, 1944-

Springer-Verlag
7 電子ブック 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
2 図書 Live data structures in logic programs : derivation by means of abstract interpretation

Mulkers, Anne, 1960-

Springer-Verlag
8 電子ブック Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Ehrig, Hartmut., Jantke, Klaus P., Orejas, Fernando., Reichel, Horst., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
3 図書 Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September …

Workshop on Specification of Abstract Data Types, Haveraaen, Magne, Owe, Olaf, Dahl, Ole-Johan, 1931-, COMPASS Workshop

Springer
9 電子ブック Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

Sannella, Donald., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 電子ブック A Systematic Catalogue of Reusable Abstract Data Types

Uhl, Jürgen., Schmid, Hans A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 電子ブック A Systematic Catalogue of Reusable Abstract Data Types

Uhl, Jürgen, Schmid, Hans Albrecht, SpringerLink (Online service)

Springer-Verlag
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 図書 Paragon : a language using type hierarchies for the specification, implementation and selection of abstract data types

Sherman, Mark Steven

Springer-Verlag
6 図書 Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings

Workshop on Specification of Abstract Data Types, Ehrig, Hartmut

Springer-Verlag
12 電子ブック Paragon : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types

Sherman, Mark Steven, SpringerLink (Online service)

Springer-Verlag