国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1960年代
(1)
1980年代
(13)
1990年代
(6)
2000年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(22)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(22)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 22 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Software engineering with OBJ : algebraic specification in action
Software engineering with OBJ : algebraic specification in action
紙
図書
edited by Joseph Goguen, Grant Malcolm
Kluwer Academic
c2000
全国の図書館
Algebraic semantics of imperative programs
Algebraic semantics of imperative programs
紙
図書
Joseph A. Goguen and Grant Malcolm
MIT Press
c1996
全国の図書館
Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982 / edited by Domenico Ferrari, Mario Bolognani, Joseph Goguen.
Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982 / edited by Domenico Ferrari, Mario Bolognani, Joseph Goguen.
紙
図書
North-Holland Pub. Co.
1983.
<M15-A421>
国立国会図書館
著者標目
...ognani, Mario.
Goguen, Joseph.
International Seminar on Soft...
Requirements engineering : social and technical issues
Requirements engineering : social and technical issues
紙
図書
edited by Marina Jirotka and Joseph A. Goguen
Academic Press
c1994
全国の図書館
Introducing OBJ [Private reproduction]
Introducing OBJ [Private reproduction]
紙
図書
[by] Joseph A. Goguen ... [et al.]
[s.n.]
1992?
全国の図書館
Four pieces on error, truth and reality
Four pieces on error, truth and reality
紙
図書
by Joseph A. Goguen
Oxford University Computing Laboratory, Programming Research Group
1990
全国の図書館
Sheaf semantics for concurrent interacting objects
Sheaf semantics for concurrent interacting objects
紙
図書
Joseph A. Goguen
Center for the Study of Language and Information
c1991
全国の図書館
Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
紙
図書
by Joseph A. Goguen, José Meseguer
Oxford University Computing Laboratory, Programming Research Group
1989
全国の図書館
One, note, a hundred thousand specification languages
One, note, a hundred thousand specification languages
紙
図書
Joseph A. Goguen
Center for the Study of Language and Information
1987
全国の図書館
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
紙
図書
Joseph A. Goguen and José Meseguer
Center for the Study of Language and Information
1987
全国の図書館
Modals and equality for logical programming
Modals and equality for logical programming
紙
図書
Joseph A. Goguen and José Meseguer
Center for the Study of Language and Information
1987
全国の図書館
Final algebras, cosemicomputable algebras, and degrees of unsolvability
Final algebras, cosemicomputable algebras, and degrees of unsolvability
紙
図書
Lawrence S. Moss, José Meseguer, and Joseph A. Goguen
Center for the Study of Language and Information
1987
全国の図書館
A study in the foundations of programming methodology : specifications, institutions, charters and parchments
A study in the foundations of programming methodology : specifications, institutions, charters and parchments
紙
図書
by Joseph A. Goguen and R.M. Burstall
Center for the Study of Language and Information
1986
全国の図書館
Deduction with many-sorted rewrite
Deduction with many-sorted rewrite
紙
図書
by José Meseguer and Joseph A. Goguen
Center for the Study of Language and Information
1985
全国の図書館
Parameterized programming
Parameterized programming
紙
図書
by Josph Goguen
Center for the Study of Language and Information
1984
全国の図書館
Institutions : abstract model theory for computer science
Institutions : abstract model theory for computer science
紙
図書
by J.A. Goguen and R.M. Burstall
Center for the Study of Language and Information
1985
全国の図書館
Equality, types, modules and generics for logic programing
Equality, types, modules and generics for logic programing
紙
図書
by Joseph A. Goguen and José Meseguer
Center for the Study of Language and Information
1984
全国の図書館
Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982
Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982
紙
図書
edited by Domenico Ferrari, Mario Bolognani, Joseph Goguen
North-Holland Pub. Co.
1983
全国の図書館
Completeness of many-sorted equational logic
Completeness of many-sorted equational logic
紙
図書
by J.A. Goguen and J. Meseguer
Center for the Study of Language and Information
1984
全国の図書館
Art and the brain
Art and the brain
紙
図書
edited by Joseph A. Goguen
Imprint Academic
c1999
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力