Formal Methods In Human-computer Interaction
販売元:
￥13,390
在庫あり
+ 配送料￥5,049
14日間返品ポリシー
支払い方法:
商品詳細
商品詳細
Formal Methods In Human-computer Interaction
First Published In 1990, This Book Discusses The Application Of Formal Methods To The Human-computer Interface. Topics Such As The Specification Of A System, The Construction Of A System From Its Specification And The Abstraction Of A Specification From An Existing System, Are Clearly Of Great Theoretical And Practical Interest.
- ブランド: Cambridge University Press
- カテゴリー: コンピューター、インターネット
-
フォーマット: Paperback
-
刊行日: 2009-03-15
-
ページ数: 344
-
著者: Cambridge University Press
-
言語: English
-
出版社 / レコード会社: Cambridge University Press
- Fruugo ID: 556916899-1125150511
- ISBN: 9780521448673
配送
配達
24時間以内に発送
-
STANDARD: ￥5,049 - 間の配達 木 12 11月 2026–火 17 11月 2026
イギリスより発送。
返品
返品
ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。