Paragon : a language using type hierarchies for the specification, implementation and selection of abstract data types | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Paragon : a language using type hierarchies for the specification, implementation and selection of abstract data types

種類:: 図書
責任表示:: Mark Steven Sherman
出版情報:: Berlin ; New York : Springer-Verlag, c1985
著者名:: Sherman, Mark Steven <DA01079491>
シリーズ名:: Lecture notes in computer science ; 189 <BA00009279>
ISBN:: 9783540152125 [3540152121] (: gw)
9780387152127 [0387152121] (: us)
注記:: Based on the author's thesis (Ph. D.)
Includes index

所蔵情報

Loading availability information

子書誌情報

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

1. Paragon : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types
by Mark Steven Sherman , Springer-Verlag , 1985

詳細

主題:	プログラミング用言語
分類・件名:	NDC7 : 549.92 LCSH : Paragon (Computer program language) LCSH : Abstract data types (Computer science) NDLSH : プログラミング用言語
LCCN:	85004798
TTLL:	eng
言語:	英語
形態:	xi, 364 p. ; 25 cm
書誌ID:	BA00552984

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Paragon : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types Sherman, Mark Steven, SpringerLink (Online service) Springer-Verlag	7 電子ブック 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
2 電子ブック Paragon : A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types Sherman, Mark S., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 電子ブック 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
3 図書 Specification of abstract data types Loeckx, Jacques, 1931-, Ehrich, Hans-Dieter, Wolf, Markus Wiley, B.G. Teubner	9 図書 NEWCAT : parsing natural language using left-associative grammar Hausser, Roland R., 1946- Springer-Verlag
4 図書 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	10 図書 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
5 図書 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	11 図書 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
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 図書 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