￥23,196 税込
ポイント: 928pt  (4%)  詳細はこちら
配送料 ¥1910 5月22日-30日にお届け（3 時間 6 分以内にご注文の場合）
詳細を見る
残り2点 ご注文はお早めに 在庫状況について
￥￥23,196 () 選択したオプションを含めます。 最初の月の支払いと選択されたオプションが含まれています。 詳細
価格
小計
￥￥23,196
小計
初期支払いの内訳
レジで表示される配送料、配送日、注文合計 (税込)。
出荷元
CHRONICLE STORE
出荷元
CHRONICLE STORE
販売元
CHRONICLE STORE
（29件の評価）
販売元
CHRONICLE STORE
（29件の評価）
支払い方法
お客様情報を保護しています
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
支払い方法
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
Kindleアプリのロゴ画像

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

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

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

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

Fme '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings (Lecture Notes in Computer Science, 670) ペーパーバック – 1993/12/1

すべての形式と版を表示
{"desktop_buybox_group_1":[{"displayPrice":"￥23,196","priceAmount":23196.00,"currencySymbol":"￥","integerValue":"23,196","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"avt1FR2OKQRZPSZmrDYz1W2csCORiYaXyQpZ6QqITqbjCuQm1cP7EYsScFJ9WIB72%2F5pCupj%2FPaUvZMGWJ0%2BbXzQZuXE5v9anJBjHrGloPA8JRRaDuA42bhD4Fh2fo%2FXvMQRhuMAtwTCnOyZp%2BX4A%2BXWZh00uVzOqtF0kp7Q68uXhfvVQ2KCBnoEgvDTLVBs","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

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

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereed papers; - Tool descriptions, containing 11 descriptions.
続きを読む もっと少なく読む
Previous page
  1. 本の長さ
    689ページ
  2. 言語
    英語
  3. 出版社
    Springer Verlag
  4. 発売日
    1993/12/1
  5. 寸法
    15.6 x 1.91 x 23.39 cm
  6. ISBN-10
    0387566627
  7. ISBN-13
    978-0387566627
  8. すべての詳細を表示
Next page

登録情報

  • 出版社 ‏ : ‎ Springer Verlag (1993/12/1)
  • 発売日 ‏ : ‎ 1993/12/1
  • 言語 ‏ : ‎ 英語
  • ペーパーバック ‏ : ‎ 689ページ
  • ISBN-10 ‏ : ‎ 0387566627
  • ISBN-13 ‏ : ‎ 978-0387566627
  • 寸法 ‏ : ‎ 15.6 x 1.91 x 23.39 cm

カスタマーレビュー

この商品をレビュー

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

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