中古品
¥ 2,950
コンディション: 中古品: 良い
コメント: [簡易クリーニング済] 状態は概ね良好で目に付くキズ、ヨゴレはございませんが、中古品のため若干の書き込み、傷み(擦れ傷、縁の傷み等)がある場合がございます。値札剥がし済み。帯をお付けできる保証はございません。☆BOOKOFFの店舗に並んでいる商品と同程度のコンディションとお考え下さい。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座) 単行本 – 2008/9

5つ星のうち 5.0 1 件のカスタマーレビュー

その他()の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
Amazon 価格
新品 中古品
単行本
"もう一度試してください。"
¥ 2,682
click to open popover

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
  • Android
  • Android

無料アプリを入手するには、Eメールアドレスを入力してください。



【Amazon Global】OTAKU Store
Figures, Video Games, Blu-ray, DVD and Music of Japanese Anime, Games and Pop Culture Shop now

商品の説明

著者略歴 (「BOOK著者紹介情報」より)

田中/譲
1974年京都大学大学院工学研究科修士課程修了。現在、北海道大学大学院情報科学研究科教授。工学博士。知識メディア、知識連携の研究に従事

磯部/祥尚
1992年芝浦工業大学大学院電気工学専攻修士課程修了。1992年通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員・国立情報学研究所特任准教授。工学博士。形式手法による並行システムの検証に関する研究に従事

粂野/文洋
1990年早稲田大学大学院理工学研究科数学専攻修士課程修了。現在、株式会社三菱総合研究所情報技術研究センター主任研究員・国立情報学研究所特任准教授

櫻庭/健年
1983年東北大学大学院博士課程数学専攻前期課程修了。1983年株式会社日立製作所。現在、株式会社日立製作所システム開発研究所。オペレーティングシステム、情報セキュリティの研究に従事

田口/研治
2001年スウェーデン王国ウプサラ大学計算機科学博士号。現在、国立情報学研究所特任教授。形式手法の研究と教育に従事

田原/康之
199年東京大学大学院理学研究科修士課程終了。1991年株式会社東芝。2003年国立情報学研究所。現在。電気通信大学大学院情報システム学研究科准教授。博士(情報科学)。エージェント技術、ソフトウェア工学の研究に従事(本データはこの書籍が刊行された当時に掲載されていたものです)


登録情報

  • 単行本: 345ページ
  • 出版社: 近代科学社 (2008/09)
  • 言語: 日本語
  • ISBN-10: 4764903555
  • ISBN-13: 978-4764903555
  • 発売日: 2008/09
  • 梱包サイズ: 23.2 x 18.4 x 2.2 cm
  • おすすめ度: 5つ星のうち 5.0 1 件のカスタマーレビュー
  • Amazon 売れ筋ランキング: 本 - 930,963位 (本の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る

カスタマーレビュー

5つ星のうち5.0
星5つ
1
星4つ
0
星3つ
0
星2つ
0
星1つ
0
他のお客様にも意見を伝えましょう
すべてのカスタマーレビューを見る(1)

トップカスタマーレビュー

殿堂入りNo1レビュアー2009年1月29日
形式: 単行本
4コメント4件| 2人のお客様がこれが役に立ったと考えています. このレビューは参考になりましたか?はいいいえ違反を報告