返回

缩放 将鼠标悬停在图片上即可放大

Software Abstractions : Logic, Language, and Analysis (The Mit Press) (2ND)

Jackson, Daniel
73.24 SGD
Member Price
65.92
English

Product Description

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

... Read Full Text

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00SGD

Discount is applied at checkout.

Recently Viewed Items

Related Products