“Fitzgerald,John”の商品一覧
英ニューカッスル大学コンピューティングサイエンス学部教授。
“Fitzgerald,John”に関連する商品を2件掲載しています。1 ~ 2 件目をご紹介します。
-
(レビュー:1件)
- 税込価格:6,028円
- 出版社:翔泳社
- 発行年月:2010.8
- 発送可能日:要確認
- 形式仕様記述言語VDM++を用いて開発対象システムを厳密に記述し、コンピュータシステムに対する信頼性や安全性などの確認や検証を行う方法を具体例を基に解説。オブジェクト指向の概念を取り入れたシステム設計法も示す。【「TRC MARC」の商品解説】
商品ご購⼊に際してのご注意
当商品は在庫が無い為、お取り寄せとなります。
ご注文後に出版社・製造元へ取り寄せを行い、商品が調達でき次第発送いたします。
調達が難しい場合、3週間程度でご注文は自動でキャンセルとなります。
-
(レビュー:2件)
- 税込価格:5,280円
- 出版社:岩波書店
- 発行年月:2003.2
- 発送可能日:要確認
- ISOで標準化された言語VDM−SLは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適である。これを使えばシステムの全体構造を容易に把握できるようになり開発コストの削減にも役立つ。実践例とともに解説。【「TRC MARC」の商品解説】
商品ご購⼊に際してのご注意
当商品は在庫が無い為、お取り寄せとなります。
ご注文後に出版社・製造元へ取り寄せを行い、商品が調達でき次第発送いたします。
調達が難しい場合、3週間程度でご注文は自動でキャンセルとなります。
- 予約購入について
-
- 「予約購入する」をクリックすると予約が完了します。
- ご予約いただいた商品は発売日にダウンロード可能となります。
- ご購入金額は、発売日にお客様のクレジットカードにご請求されます。
- 商品の発売日は変更となる可能性がございますので、予めご了承ください。