by
English
LOOKING TO PLACE A BULK ORDER?CLICK HERE
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
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
Description
Author
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
Details
ISBN 13
9780262528900
Publication Date
-12-02-2016
Pages
-374
Weight
-506 grams
Dimensions
-152x229x21.16 mm
Details
ISBN 13
:
9780262528900
Publication Date
:
12-02-2016
Pages
:
374
Weight
:
506 grams
Dimensions
:
152x229x21.16 mm
Publisher