富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 001.64/2)
該当件数:6件
Module specifications and constraints
: us,: gw. - Berlin : Tokyo : Springer-Verlag , c1990. - (EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2)
図書
The Xinu approach / Douglas Comer and Steven Munson
Macintosh ed. - Englewood Cliffs, N.J. : Tokyo : Prentice-Hall , c1989. - (Operating system design / Douglas Comer ; v. 1)
Equations and initial semantics / H. Ehrig, B. Mahr
: U.S.,: Germany. - Berlin : Tokyo : Springer-Verlag , c1985. - (EATCS monographs on theoretical computer science ; v. 6 . Fundamentals of algebraic specification ; v. 1)
The Xinu approach
pbk.. - Englewood Cliffs, N.J. : Prentice-Hall , c1984. - (Prentice-Hall software series ; . Operating system design / Douglas Comer ; [v. 1])
Algorithmic language and program development / F.L. Bauer, H. Wössner, in collaboration with H. Partsch and P. Pepper
: New York,: Berlin. - Berlin : New York : Springer-Verlag , 1982. - (Texts and monographs in computer science)
The science of programming / David Gries
U.S. : hardcover - Ger. : softcover. - New York : Springer-Verlag , c1981. - (Texts and monographs in computer science)