検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

構成的プログラミングの基礎　

著者名 林 晋／共著
著者名ヨミ ハヤシ ススム
出版者 遊星社
出版年月 1991.4

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 西部図書館一般書庫0076/890/1100949382一般在庫 可 ○

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000001013851
書誌種別 図書
書名 構成的プログラミングの基礎　
書名ヨミ コウセイテキ プログラミング ノ キソ
言語区分 日本語
著者名 林 晋／共著 　 小林 聡／共著
著者名ヨミ ハヤシ ススム　コバヤシ サトシ
出版地 東京
出版者 遊星社 　 星雲社(発売)
出版年月 1991.4
本体価格 ￥３３０１
ISBN 4-7952-6867-3
数量 253p
大きさ 22cm
分類記号 007.64
件名 プログラミング(コンピュータ)
内容紹介 「正しいプログラムを書く方法」の論理学的基礎を中心とした、構成的プログラミングの入門書。数学的プログラミング言語から、プログラムの検証と構成的数学、Fefermanの理論やAczel、証明の理論まで。



内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2001
【じゃあじゃあびりびり】 じゃあじゃあびりびり
まつい のりこ／… 【農業振興地域の整備に関する法律の解…】 農業振興地域の整備に関する法律の解…
農業振興地域制度… 【諸尊経典要義　：　仏さまの功徳と由…】 諸尊経典要義　：　仏さまの功徳と由…
下泉全暁 編著 【あっちゃんあがつく　：　たべものあ…】 あっちゃんあがつく　：　たべものあ…
みね よう／げん… 【キース・ジャレットインナービューズ…】 キース・ジャレットインナービューズ…
キース・ジャレッ… 【古代日本人と外国語　：　源氏・道真…】 古代日本人と外国語　：　源氏・道真…
湯沢 質幸／著 【ばいばい】 ばいばい
まつい のりこ／… 【そらまめくんのベッド】 そらまめくんのベッド
なかや みわ／さ… 【男同士の絆　：　イギリス文学とホモ…】 男同士の絆　：　イギリス文学とホモ…
イヴ・K.セジウ… 【コッケモーモー!】 コッケモーモー!
ジュリエット・ダ… 【瀬戸内寂聴全集9】 瀬戸内寂聴全集9
瀬戸内 寂聴／著 【シャーロットのおくりもの】 シャーロットのおくりもの
E.B.ホワイト… 【きょだいなきょだいな】 きょだいなきょだいな
長谷川 摂子／作… 【すてきな三にんぐみ】 すてきな三にんぐみ
トミー=アンゲラ… 【オバケやかたのひみつ　：　まんげつ…】 オバケやかたのひみつ　：　まんげつ…
大島 妙子／作・… 【子どもはことばをからだで覚える　：…】 子どもはことばをからだで覚える　：…
正高 信男／著 【西の魔女が死んだ】 西の魔女が死んだ
梨木 香歩／著 【ネコのタクシー】 ネコのタクシー
南部 和也／さく… 【きかんしゃやえもん】 きかんしゃやえもん
阿川 弘之／文,… 【豊臣秀吉と京都　：　聚楽第・御土居…】 豊臣秀吉と京都　：　聚楽第・御土居…
日本史研究会／編 【詳解情報公開法】 詳解情報公開法
総務省行政管理局… 【セロひきのゴーシュ】 セロひきのゴーシュ
宮沢 賢治／作,… 【お化けの真夏日】 お化けの真夏日
川端 誠／作 【ハリー・ポッターとアズカバンの囚人】 ハリー・ポッターとアズカバンの囚人
J.K.ローリン… 【千葉県の歴史資料編中世3】 千葉県の歴史資料編中世3
千葉県史料研究財… 【城破(わ)りの考古学】 城破(わ)りの考古学
藤木 久志／編,… 【ふわふわふとん】 ふわふわふとん
カズコ・G.スト… 【チムとゆうかんなせんちょうさん】 チムとゆうかんなせんちょうさん
エドワード・アー… 【性遍歴】 性遍歴
松本 侑子／著 【フランス史】 フランス史
福井 憲彦／編 【いまを生きる成瀬仁蔵　：　女子教育…】 いまを生きる成瀬仁蔵　：　女子教育…
青木 生子／著 【パウル・クレーの芸術　：　その画材…】 パウル・クレーの芸術　：　その画材…
西田 秀穂／著 【旅行用心集　：　現代訳】 旅行用心集　：　現代訳
八隅 蘆菴／著,… 【依存と自立の精神構造　：　「清明心…】 依存と自立の精神構造　：　「清明心…
長山 恵一／著 【かばくん】 かばくん
岸田 衿子／さく… 【信長上】 信長上
秋山 駿／著 【スタジオジブリ絵コンテ全集5】 スタジオジブリ絵コンテ全集5
 【おーいでてこーい】 おーいでてこーい
星 新一／作,加… 【ありのぎょうれつ】 ありのぎょうれつ
得田 之久／さく 【夏の庭　：　The friends】 夏の庭　：　The friends
湯本 香樹実／著
火星
【火星は…】 火星は…
スザンヌ・スレー… 【キュリオシティ　：　ぼくは、火星に…】 キュリオシティ　：　ぼくは、火星に…
マーカス・モート… 【火星を知る!】 火星を知る!
三品 隆司／構成… 【MARS　：　火星移住計画】 MARS　：　火星移住計画
レオナード・デイ… 【MARS|火星　：　未知なる地表　…】 MARS|火星　：　未知なる地表　…
アルフレッド・S… 【Google Earthで行く火星…】 Google Earthで行く火星…
後藤 和久／著,… 【火星の生命と大地46億年】 火星の生命と大地46億年
丸山 茂徳／著,… 【ローバー、火星を駆ける　：　僕らが…】 ローバー、火星を駆ける　：　僕らが…
スティーヴ・スク… 【火星からのメッセージ】 火星からのメッセージ
ジム・ベル／著,… 【恐るべき旅路　：　火星探査機「のぞ…】 恐るべき旅路　：　火星探査機「のぞ…
松浦 晋也／著 【最新探査機がとらえた火星と土星　：…】 最新探査機がとらえた火星と土星　：…
 【火星のモニュメント　：　NASAが…】 火星のモニュメント　：　NASAが…
リチャード・C.… 【沈黙の惑星　：　火星の死と地球の明…】 沈黙の惑星　：　火星の死と地球の明…
ジョン・E.ブラ… 【火星　：　解き明かされる赤い惑星の…】 火星　：　解き明かされる赤い惑星の…
ポール・レイバー… 【火星と人類】 火星と人類
島崎 達夫／著 【火星に生命はいるか　：　宇宙的視野…】 火星に生命はいるか　：　宇宙的視野…
大島 泰郎／著 【火星着陸】 火星着陸
高柳 雄一／著,… 【マーズ・ダイレクト　：　NASA火…】 マーズ・ダイレクト　：　NASA火…
ロバート・ズブリ… 【わなにかかった火星の神様　：　火星…】 わなにかかった火星の神様　：　火星…
瀬川 昌男／著,… 【2004年火星への旅】 2004年火星への旅
マイケル・コリン… 【火星に魅せられた人びと】 火星に魅せられた人びと
ジョン・ノーブル… 【火星】 火星
シーモア・シーメ… 【火星への挑戦　：　1999年・火星…】 火星への挑戦　：　1999年・火星…
ブライアン・オレ… 【火星　：　探査衛星写真】 火星　：　探査衛星写真
NASA／協力,… 【火星への道】 火星への道
瀬川 昌男／著 【火星】 火星
ピカリング／[著… 【火星】 火星
ピツカリング／著…
前のページへ
トップページへ

本文はここまでです。

ページの終わりです。