Software Abstractions revised edition
by
English


LOOKING TO PLACE A BULK ORDER?CLICK HERE

Piracy-free
Piracy-free
Assured Quality
Assured Quality
Secure Transactions
Secure Transactions
Fast Delivery
Fast Delivery
Sustainably Printed
Sustainably Printed
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.

About The Book

An approach to software design that introduces a fully automated analysis giving designers immediate feedback now featuring the latest version of the Alloy language. In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approachwhich Jackson calls lightweight formal methods or agile modelingtakes from formal specification the idea of a precise and expressive
downArrow

Details

ISBN 13
:
9780262528900
Publication Date
:
12-02-2016
Pages
:
374
Weight
:
506 grams
Dimensions
:
152x229x21.16 mm
Publisher
downArrow

Ratings & Reviews

coupon
No reviews added yet.

More Books By The Author