My Account
View Cart
Log-out
0
17 years of Excellence
SUBJECTS
ADV. SEARCH
Home
>
Subjects
>
Computer
Software Abstractions : Logic, Language, And Analysis
by Jackson, Daniel
Price :
Rs
325.00
Your Price :
Rs
276.25
15
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
Pls. enter your postal pincode.
Pls. enter valid Indian Postal Pincode.
Books by Same Author
22%
We Have Alwys Lived Castle (Penguin Vita
by Jackson, Shirley
20%
Contexts of Nursing: An Introduction 3e
by John Daly, Sandra Speedy and Debra Jackson
18%
Web Technologies
by Jackson
10%
Forest Quality
by Dudley, Stolton, Jackson
10%
INTRODUCTION TO INTERNATIONAL RELATIONS 5E
by JACKSON & SØRENSEN
Books of Similar Interest
10%
Beginning Oracle Application Express 4
by Doug Gault , Karen Cannell , Patrick Cimolini , Martin Giffy D`Souza , Timothy St. Hilaire
15%
Passing The Prince 2 Examination , Revised Edition
by Bradley
15%
Learning ASPNET 2.0 With AJAX:A Practical Hands on Guid
by Liberty
18%
Organic Chemistry Vol. 2 5/e
by Finar
Exam Cram 2 : Developing & Implementing Web Applications with Visual Basic .NET & Visual Studio.NET (Exam 70-305)
by Gunderloy
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
More Links
Our Subjects
Our Publishers
Powered By