岐阜大学図書館蔵書検索（OPAC）

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

図書

1. Module specifications and constraints (: us ; : gw)

Ehrig, Hartmut ; Mahr, Bernd

出版情報:	Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名:	EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2
子書誌情報:	loading…
所蔵情報:	図書館

図書

2. Equations and initial semantics (: U.S. ; : Germany)

H. Ehrig, B. Mahr

出版情報:	Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名:	EATCS monographs on theoretical computer science ; v. 6 . Fundamentals of algebraic specification ; v. 1
子書誌情報:	loading…
所蔵情報:	図書館