Z: An Introduction to Formal Methods

$129.00
+ $25.99 送货

Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods

建议零售价: $149.00
价格: $129.00
您节省了: $20.00 (13%)
由……售出:
$129.00
+ $25.99 送货

有货

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.
  • 品牌: John Wiley & Sons Inc
  • 类别: 计算机与互联网
  • 语言: English
  • 作者: Antoni Diller (University of Birmingham)
  • 出版日期: 2023-05-02
  • 页数: 400
  • 出版社/标签: John Wiley & Sons Inc
  • 格式: Paperback
  • Fruugo ID: 346738017-757978109
  • ISBN: 9780471939733

配送 & 退货

在 6 天内发货

  • STANDARD: $25.99 - 之间的交付 周一 05 一月 2026–周五 23 一月 2026

从 英国 送货。

我们会争取将您订购的产品按照您的规格完整地配送给您。不过,万一您收到不完整的订单,或收到的产品与您订购的不同,或者有其他原因让您对订单不满意,您可以要求全部或部分退货,您将收到相应产品的全额退款。 查看完整的退货政策