0
17 years of experience17 years of Excellence
SUBJECTS
ADV. SEARCH
Indian Books on Discounts
  SOFTWARE ABSTRACTIONS : LOGIC, LANGUAGE, AND ANALYSIS
 

Software Abstractions : Logic, Language, And Analysis

by Jackson, Daniel

  Price : Rs 325.00
  Your Price : Rs 276.25
Discount
15
Out of Stock
  Any system build on flawed concepts makes it clumsy and hard to make even simplest of changes to repair the damage done. The author begins the book with the statement Software is built on abstractions. Pick the right ones and programming will flow from design; modules will have small and simple interfaces; and new functionality will more likely fit in without extensive organization.

Basically, an abstraction is an idea reduced to its essential form. The author introduces the key elements of the approach: a logic, which provides the building blocks of the language; a language, which adds a small amount of syntax to the logic for structuring descriptions; and an analysis, which is a form of constraint solving, and it offers both simulation (generating sample states and executions) and checking (finding counterexamples to claimed properties). The author uses the language Alloy as a vehicle because of its simplicity and tool support; but the book`s lessons are mostly language-independent, and could also be applied in the context of other modeling languages.isbn-9788120331709
 


Pages : 368
Credit Cards
Payment accepted by All Major Credit and Debit Cards, Net Banking, Cash Cards, Paytm, UPI, Paypal. Our payment gateways are 100% secure.
Check Delivery
Books by Same Author
10%
Robert Moses & The Modern City: The Transf.of New York
by Hilary Ballon Kenneth T Jackson
15%
Little Readers Box 2: Books 7-12
by Greta Jackson
Heart Healthy At Your Fingertips
by Graham Jackson
27%
Folk Lore Notes Folklore Of Konkan
by A. M. T. Jackson
15%
Research Methods & Statistics: A Critical Thinking approach, 3/e
by Jackson/Schuler
Books of Similar Interest
7%
PC Computing ll DTP Software
by Rachhpal Singh, Gupta Amandeep, Sharma Rana, Sood Rupali
Linux Device Drivers, 2nd Edition
by By Alessandro Rubint & Jonathan Corbet
15%
Flash CS3 The Missing Manual,
by E. A. Vander Veer, Chris Grover
15%
DHCP For Window 2000, 288 Pages,
by Alcott
18%
TCP/IP Illustrated, Vol. 3
by Stevens
Best Book Mart
Support

Call Us Phone : +91-9266663909
Email Us Email : support [at] bestbookmart.com
Working Hours Timing : 10:00 AM to 6:00 PM (Mon-Fri)
Powered By
CCAvenue
SSL Protection