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

20%

Clinical Nursing Pocket Guide, 3/e
by Marilynn Jackson, Lee Jackson

10%

The British Empire: A Very Short Introduction (Very Short Introductions)
by ASHLEY JACKSON

27%

A Glossary Of Botanic Terms: With Their Derivation And Accent
by Benjamin Daydon Jackson

15%

Unmasking Masculinity: A Critical Autobiography
by David Jackson

10%

Robert Moses & The Modern City: The Transf.of New York
by Hilary Ballon Kenneth T Jackson

Books of Similar Interest

15%

System Analysis and Design, 5th Edi.
by Kendall

15%

Beginning ATL 3 COM Programming
by Richard Grimes,Julian Templeman,Alex Stockton,Karli Watson

15%

Learning MySQL
by Seyed M.M. “Saied” Tahaghoghi, Hugh E. Williams

18%

Manufacturing The Future ( HB )
by Brown

10%

C++/CLI: The Visual C++ Language for .NET
by Hogenson, Gordon

Support

Phone : +91-9266663909

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