新品:
￥17,786 税込
ポイント: 178pt  (1%)
無料配送 5月29日 水曜日にお届け
発送元: Amazon.co.jp
販売者: Amazon.co.jp
￥17,786 税込
ポイント: 178pt  (1%)  詳細はこちら
無料配送 5月29日 水曜日にお届け
詳細を見る
または 最も早いお届け日時指定便 5月28日 火曜日, 8:00 - 12:00の間にお届け（20 時間 7 分以内にご注文の場合）
詳細を見る
在庫あり。 在庫状況について
￥￥17,786 () 選択したオプションを含めます。 最初の月の支払いと選択されたオプションが含まれています。 詳細
価格
小計
￥￥17,786
小計
初期支払いの内訳
レジで表示される配送料、配送日、注文合計 (税込)。
出荷元
Amazon.co.jp
出荷元
Amazon.co.jp
販売元
Amazon.co.jp
販売元
Amazon.co.jp
支払い方法
お客様情報を保護しています
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
支払い方法
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
￥13,501 税込
お客様のご満中古・非常に良い。足を中心に据えるサービス。海外より発送致しますので、7～１５営業日でのお届けをご期待ください。 お客様のご満中古・非常に良い。足を中心に据えるサービス。海外より発送致しますので、7～１５営業日でのお届けをご期待ください。 一部を表示
配送料 ¥257 6月2日-7日にお届け（17 時間 7 分以内にご注文の場合）
詳細を見る
残り1点 ご注文はお早めに 在庫状況について
￥￥17,786 () 選択したオプションを含めます。 最初の月の支払いと選択されたオプションが含まれています。 詳細
価格
小計
￥￥17,786
小計
初期支払いの内訳
レジで表示される配送料、配送日、注文合計 (税込)。
この商品は、SmallerWorldFuture が販売、発送します。
Kindleアプリのロゴ画像

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

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

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

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

Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings (Lecture Notes in Computer Science, 600) ペーパーバック – イラスト付き, 2008/6/13

英語版 J.W.de Bakker (著), W.P.de Roever (著), G. Rozenberg (著),
すべての形式と版を表示
{"desktop_buybox_group_1":[{"displayPrice":"￥17,786","priceAmount":17786.00,"currencySymbol":"￥","integerValue":"17,786","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"gNqxd%2BVH8biXOnAY%2Fbgq2kOFFQ192WJABSlVSZ2EF%2FD9hMhPMae2lRHzv66FJmfvY0G9Z4fE2nrAo60jvZ2dKj%2B%2FCRflqZvNjQK%2B3vmFrJ4oiZmdrn9fkHJwgAjjmWD7","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}, {"displayPrice":"￥13,501","priceAmount":13501.00,"currencySymbol":"￥","integerValue":"13,501","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"gNqxd%2BVH8biXOnAY%2Fbgq2kOFFQ192WJAMHgrkff5GGVvTNn8skCgk%2FfLBfGWBPViHh8nYHD2R%2FZ3uxTxoiH1Iqh0c0CA32rm3qu2tN0J8FvCy0Wvexrj2vxFnkQoEU4gcSNFjmkJTM9ssk2PgJqmyvkxwYWxb65S3DmgZ958lN0Hj9LkkrDKEqp%2Bgmk2z4pT","locale":"ja-JP","buyingOptionType":"USED","aapiBuyingOptionIndex":1}]}

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

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.
続きを読む もっと少なく読む
Previous page
  1. 本の長さ
    736ページ
  2. 言語
    英語
  3. 出版社
    Springer
  4. 発売日
    2008/6/13
  5. 寸法
    15.49 x 4.22 x 23.5 cm
  6. ISBN-10
    3540555641
  7. ISBN-13
    978-3540555643
  8. すべての詳細を表示
Next page

登録情報

  • 出版社 ‏ : ‎ Springer; 第1992版 (2008/6/13)
  • 発売日 ‏ : ‎ 2008/6/13
  • 言語 ‏ : ‎ 英語
  • ペーパーバック ‏ : ‎ 736ページ
  • ISBN-10 ‏ : ‎ 3540555641
  • ISBN-13 ‏ : ‎ 978-3540555643
  • 寸法 ‏ : ‎ 15.49 x 4.22 x 23.5 cm

カスタマーレビュー

この商品をレビュー

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

まだカスタマーレビューはありません