Best Book Mart

SUBJECTS

ADV. SEARCH

Home > Subjects > Computer

SOFTWARE ABSTRACTIONS : LOGIC, LANGUAGE, AND ANALYSIS

	Software Abstractions : Logic, Language, And Analysis by Jackson, Daniel
	Price : Rs 325.00
	Your Price : Rs 276.25

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

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

22%

POC : We Have Always Lived in the Castle
by Jackson, Shirley

20%

Cultural Geography: A Critical Dictionary of Key Concepts
by David Atkinson, Peter Jackson, David Sibley and Neil Washbourne

15%

Emerging Nanotechnologies for Manufacturing
by Waqar Ahmed & M. J. Jackson

10%

The Cambridge Companion to Shakespears on Film
by Jackson

27%

Journal Of Francis Buchan An (Afterwards Hamilton) Kept During The Survey Of The Districts Of Patna And Gaya In 1811-1812
by Francis Buchanan, V. H. Jackson

Books of Similar Interest

15%

Microsoft Office Word 2003 Step by Step (With CD)
by Online Training Solutions, Inc

15%

Windows Server 2003 in a Nutshell A Desktop Quick Reference, 672 Pages,
by Tulloch

12%

Visual Basic Complete, 1st Edi.
by Prosenjit Sinha

15%

Testing Computer Software, 2ed
by Kaner

15%

Efficient SAP Netweaver Implimentation and Project Management, 441 Pages
by Nolan

Support

Email : support [at] bestbookmart.com

Timing : 10:00 AM to 6:00 PM (Mon-Fri)

Quick Links

View Cart
My Account
Terms & Conditions
Privacy Policy
Return Policy

Software Abstractions : Logic, Language, And Analysis

by Jackson, Daniel