8パーセントの割引で￥8,548 税込

参考価格: ￥9,312

ポイント: 85pt (1%) 詳細はこちら

配送料 ¥80 7月5日-15日にお届け（7 分以内にご注文の場合）
詳細を見る

お届け先を選択

通常2～3週間以内に発送します。在庫状況について

￥￥8,548 () 選択したオプションを含めます。最初の月の支払いと選択されたオプションが含まれています。詳細

出荷元

Ninetyninebooks

出荷元

Ninetyninebooks

販売元

Ninetyninebooks

（378件の評価）

販売元

Ninetyninebooks

（378件の評価）

支払い方法

お客様情報を保護しています

支払い方法

お客様情報を保護しています

Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。詳細はこちら

詳細はこちら

すべて見る

Amazonの他の出品者

新品＆中古品 (20)件の出品：￥3,511 + ￥240 配送料

画像はありません

選択したカラーの画像がありません。
カラー：

このビデオを見るには、次をダウンロード Flash Player

著者をフォロー

Wan Fokkink

フォロー

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) ハードカバー – イラスト付き, 1999/12/23

英語版 Wan Fokkink (著)

すべての形式と版を表示

このページの読み込み中に問題が発生しました。もう一度試してください。

{"desktop_buybox_group_1":[{"displayPrice":"￥8,548","priceAmount":8548.00,"currencySymbol":"￥","integerValue":"8,548","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"YlNJEdfhArbuoFMxEWduayHeRxoMFYxxirFVWyp5hMFHhURpV1j4w%2F3UwCi%2B7337Q2tlzGeNbO4oeNitUTbU%2B0P3g0jRk%2F0QhrNoqtQzAGMNyuQ0Slx0tizCi92lTOIWVs2c4YVYxhjM%2FNpc70yF44jJvdJOmzyAXNPm%2BzqYfDYOYMJOs%2F9%2BfdqIP5rZeHvW","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

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

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

この商品に関する問題を報告する

本の長さ

176ページ
言語

英語
出版社

Springer
発売日

1999/12/23
寸法

16.08 x 1.37 x 24.13 cm
ISBN-10

354066579X
ISBN-13

978-3540665793
すべての詳細を表示

登録情報

出版社 ‏ : ‎ Springer; 第2000版 (1999/12/23)
発売日 ‏ : ‎ 1999/12/23
言語 ‏ : ‎ 英語
ハードカバー ‏ : ‎ 176ページ
ISBN-10 ‏ : ‎ 354066579X
ISBN-13 ‏ : ‎ 978-3540665793
寸法 ‏ : ‎ 16.08 x 1.37 x 24.13 cm

著者について

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

Wan Fokkink

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

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

カスタマーレビュー

5つ星

0%

4つ星

0%

3つ星

0%

2つ星

0%

1つ星

0%

虚偽のレビューは一切容認しません

この商品をレビュー

カスタマーレビューを書く

Amazon Advertising 商品の露出でお客様の関心と反応を引き出す	Audible（オーディブル）「聴く」読書会員なら聴き放題	アマゾンウェブサービス（AWS）クラウドコンピューティングサービス	Amazonアウトレット訳あり商品をお手頃価格で販売

Amazonビジネス（法人購買）請求書払い法人価格・数量割引	AmazonGlobal 65か国/地域以上への海外配送がより簡単に	Shopbop 世界中の厳選されたファッションアイテム

著者をフォロー

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) ハードカバー – イラスト付き, 1999/12/23

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

登録情報

著者について

Wan Fokkink

カスタマーレビュー

この商品をレビュー

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