Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.

Bestandsnummer des Verk�ufers C13B-01723

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Software Abstractions: Logic, Language, and Analysis
Verlag: Mit Pr
Erscheinungsjahr: 2006
Sprache: Englisch
ISBN-10: 0262101149
ISBN-13: 9780262101141
Einband: Hardcover
Zustand: Very Good

�ber diesen Titel

Inhaltsangabe

In Software Abstractions Daniel Jackson introduces a new approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or "agile modeling"--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. The designer can use automated analysis not only to correct errors but also to make models that are more precise and elegant. This approach, Jackson says, can rescue designers from "the tarpit of implementation technologies" and return them to thinking deeply about underlying concepts.Software Abstractions 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, a form of constraint solving that offers both simulation (generating sample states and executions) and checking (finding counterexamples to claimed properties). The book uses 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.

�ber die Autorin bzw. den Autor

Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

With 3 stores less than 1 hour outside the DC/Metropolitan area (1 in Gaithersburg, 1 in Frederick and 1 in Hagerstown, MD), we have the largest selection of books in the tri-state area. Wonder Book and Video has been in business since 1980 and online since 1997. We have over 1 Million books for sale on our website and another 1 Million books for sale in our 3 locations. Items on Abe are not necessarily in stock at our retail locations. Please do not call the stores to place orders for Abe Books sales. We have a very active online inventory and as such, we can receive multiple orders for the same item. We fill those orders on a first come first serve basis, but will refund promptly any items that are out of stock. Since 1980 it has always been about the books. ALL kinds of books from 95 cent children's paperbacks to five figure rare and collectibles. A merging of the old and new is where we started, and it is where we are today. Our retail stores have always been places where a reader can rush in looking for a title needed for a term paper that is due the next day, or where bibliophiles can get lost "in the stacks" for as long as they wish. In 2002 USAToday recognized us as "1 of 10 Great Old Bookstores", and we have been featured in numerous other newspaper and TV stories including Washington Post and CSpan. Members ABAA, ILAB.

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

Wonder Book
Wonder Book and Video, 1550 Tilco Drive, Frederick, MD, 21704, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We want you to be satisfied with the book you order. Our general description is
conservative and the book should be as good or better than our general
description
may indicate.

As we often get many requests for the same book, in some cases the book may
already be sold. We will email you regarding the availability.

RETURNS are cheerfully accepted up to 30 days. We ship out within 1-2 business
days and U.S. Standard Shipments usually arrive within 6-9 business days,
Priority 3-6. We want you to be...

Mehr Information

Versandbedingungen

STANDARD DOMESTIC U.S. SHIPPING IS FREE. Priority Shipping is only $6.99 for first item, $1 each additional. Orders ship within 2 business days. Shipping outside of U.S. is typically between $8-13 and takes between 8-15 business days. Heavier books may require additional shipping. Faster Needs Please Inquire.