新品:
-7% ￥15,848 税込
ポイント: 158pt  (1%)
配送料 ¥150 6月6日-14日にお届け
発送元: Ninetyninebooks
販売者: Ninetyninebooks
7パーセントの割引で￥15,848 税込
参考価格: ￥17,067

他に注記がない場合、参考価格とは、製造業者、卸売業者、輸入代理店(「製造業者」)などの小売業者以外が設定した、商品のカタログなど印刷物で発表された、または製造業者が小売業者に提示する参考価格・推奨小売価格を意味します。ただし、Amazonが製造・販売するデバイスの参考価格については、他に注記が無い場合、個人のお客様向けに最近相当期間表示されていた価格を意味します（注記の内容を含む参考価格の詳細については、該当する商品詳細ページをご確認ください）。なお、割引率の表示は1％毎に行われており小数点以下は四捨五入しています。
詳細はこちら
ポイント: 158pt  (1%)  詳細はこちら
配送料 ¥150 6月6日-14日にお届け
詳細を見る
通常4～5日以内に発送します。 在庫状況について
￥￥15,848 () 選択したオプションを含めます。 最初の月の支払いと選択されたオプションが含まれています。 詳細
価格
小計
￥￥15,848
小計
初期支払いの内訳
レジで表示される配送料、配送日、注文合計 (税込)。
出荷元
Ninetyninebooks
出荷元
Ninetyninebooks
販売元
Ninetyninebooks
（364件の評価）
販売元
Ninetyninebooks
（364件の評価）
支払い方法
お客様情報を保護しています
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
支払い方法
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
￥11,752 税込
お客様のご満中古・非常に良い。足を中心に据えるサービス。海外より発送致しますので、7～１５営業日でのお届けをご期待ください。 お客様のご満中古・非常に良い。足を中心に据えるサービス。海外より発送致しますので、7～１５営業日でのお届けをご期待ください。 一部を表示
配送料 ¥257 6月2日-7日にお届け
詳細を見る
残り1点 ご注文はお早めに 在庫状況について
￥￥15,848 () 選択したオプションを含めます。 最初の月の支払いと選択されたオプションが含まれています。 詳細
価格
小計
￥￥15,848
小計
初期支払いの内訳
レジで表示される配送料、配送日、注文合計 (税込)。
この商品は、SmallerWorldFuture が販売、発送します。
Kindleアプリのロゴ画像

無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。

ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。

携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。

KindleアプリをダウンロードするためのQRコード

著者をフォロー

Yanhong Annie Liu
+ フォロー
この著者の他の本
何か問題が発生しました。後で再度リクエストしてください。

Systematic Program Design: From Clarity to Efficiency ハードカバー – イラスト付き, 2013/8/1

英語版 Yanhong Annie Liu (著)
3.3 5つ星のうち3.3 2個の評価
すべての形式と版を表示
ダブルポイント 詳細
{"desktop_buybox_group_1":[{"displayPrice":"￥15,848","priceAmount":15848.00,"currencySymbol":"￥","integerValue":"15,848","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"7Pae%2BTL8CXZyp4ZDkQFXTxthC98tlLc0uJBaeR4xXb3yhwTsG3V0%2BtpL8UURSmDpIkpazm9Kkq7eQEldjcb772qxn9rlFH5ME0nj1%2BJIlcF89PA46vaSj6MxA0dnH4tMNyUhsdLz2pA6iKzYHMOBl6J5WQVIvDIQcIF5Zghg9ku7UcfRAE5VcOmfAdnHAwbP","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}, {"displayPrice":"￥11,752","priceAmount":11752.00,"currencySymbol":"￥","integerValue":"11,752","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"7Pae%2BTL8CXZyp4ZDkQFXTxthC98tlLc0p4Ib2YeAsNiSMfQfdtuiiAx%2Fnqv7GmoIup8PVWEI%2BQg9SuMMUR%2BknZbHosWkU0Tf%2FpSYdpPeeQbL6I%2FqUC5jjGn3yANG06abocf6kx3IeP8SnhSf%2FeRWt1f5bmx18GxjkQP14RYrhVtJPn%2BEQZqKo08dj8nfE4VD","locale":"ja-JP","buyingOptionType":"USED","aapiBuyingOptionIndex":1}]}

購入オプションとあわせ買い

A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.
続きを読む もっと少なく読む
Previous page
  1. 本の長さ
    252ページ
  2. 言語
    英語
  3. 出版社
    Cambridge University Press
  4. 発売日
    2013/8/1
  5. 寸法
    15.88 x 1.91 x 23.5 cm
  6. ISBN-10
    1107036607
  7. ISBN-13
    978-1107036604
  8. すべての詳細を表示
Next page

商品の説明

レビュー

'As an experienced programmer and educator, I have to admit, I felt deep enjoyment while reading this book. It was a pleasant experience.' M. M. Tanik, Computing Reviews

'It will prove very useful for graduate students who wish to start their literature review with a comprehensive example of the state of the art in formal methods, and it is an excellent platform for self-directed learning. This well-structured, comprehensive book reflects the author's experience and strong background in the field. Highly recommended.' L. Benedicenti, Choice

著者について

Yanhong Annie Liu is a Professor of Computer Science at Stony Brook University. She received her BS from Peking University, MEng from Tsinghua University, and PhD from Cornell University. Her primary research has focused on general and systematic methods for program development, algorithm design, and problem solving. She has published in many top journals and conferences, served more than fifty conference chair or committee roles, and been awarded more than twenty research grants in her areas of expertise. She has taught more than twenty different courses in a wide range of Computer Science areas and presented close to a hundred research talks and invited talks at international conferences, universities, and research institutes. She received a State University of New York Chancellor's Award for Excellence in Scholarship and Creative Activities in 2010.

登録情報

  • 出版社 ‏ : ‎ Cambridge University Press; Illustrated版 (2013/8/1)
  • 発売日 ‏ : ‎ 2013/8/1
  • 言語 ‏ : ‎ 英語
  • ハードカバー ‏ : ‎ 252ページ
  • ISBN-10 ‏ : ‎ 1107036607
  • ISBN-13 ‏ : ‎ 978-1107036604
  • 寸法 ‏ : ‎ 15.88 x 1.91 x 23.5 cm
  • カスタマーレビュー:
    3.3 5つ星のうち3.3 2個の評価

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
Yanhong Annie Liu

Yanhong Annie Liu

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう

カスタマーレビュー

星5つ中3.3つ
5つのうち3.3つ
2グローバルレーティング

この商品をレビュー

他のお客様にも意見を伝えましょう
カスタマーレビューを書く

上位レビュー、対象国： 日本

日本からの0件のレビューとお客様による0件の評価があります

他の国からのトップレビュー

すべてのレビューを日本語に翻訳
Darryl Jif
5つ星のうち2.0 Download Limit of 3 devices is too little.
2022年1月23日にアメリカ合衆国でレビュー済み
Amazonで購入
Not able to read book on all of my devices due to a harsh download limit.
レポート
Kevin K
5つ星のうち5.0 Great Book
2013年10月1日にアメリカ合衆国でレビュー済み
Amazonで購入
This book is very informative. At beginning I just bought this book for my course and it did help me a lot on that. However, this book has interesting points(called III method in the book) and is also very useful for anyone who wants to learn things in this area. Reading such a book is very comfortable.
レポート