Z: An Introduction to Formal Methods

¥13,690
+ 配送料¥2,899

Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods

希望小売価格: ¥16,390
価格: ¥13,690
得する金額: ¥2,700 (16%)
販売元:
¥13,690
+ 配送料¥2,899

在庫あり

14日間返品ポリシー

支払い方法:

説明

Z: An Introduction to Formal Methods

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
  • Fruugo ID: 346738017-757978109
  • ISBN: 9780471939733

配送と返品

6日間以内に発送

  • STANDARD: ¥2,899 - 間の配達 月 05 1月 2026–金 23 1月 2026

イギリスより発送。

ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。 全額返金ポリシーを見る