Software Abstractions: Logic, Language, and Analysis

Daniel Jackson

Verlag: PHI Learning 0
ISBN 10: 8120331702 / ISBN 13: 9788120331709
Neu / Softcover / Anzahl: > 20
Verkäufer BookVistas (New Delhi, DELHI, Indien)
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Buch nicht mehr verfügbar. Bitte geben Sie Suchbegriffe in das untenstehende Formular ein, um ähnliche Exemplare zu finden.

Beschreibung:

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. CONTENTS: Preface Acknowledgments 1. Introduction 2. A Whirlwind Tour 3. Logic 4. Language 5. Analysis 6. Examples Appendices A. Exercises B. Alloy Language Reference C. Kernel Semantics D. Diagrammatic Notation E. Alternative Approaches References Index Printed Pages: 368. Buchnummer des Verkäufers 11851

Bibliografische Details

Titel: Software Abstractions: Logic, Language, and ...
Verlag: PHI Learning 0

Einband: Softcover
Zustand: New
Auflage: First edition.

ZVAB ist ein Internet-Marktplatz für neue, gebrauchte, antiquarische und vergriffene Bücher. Bei uns finden Sie Tausende professioneller Buchhändler weltweit und Millionen Bücher. Einkaufen beim ZVAB ist einfach und zu 100% sicher — Suchen Sie nach Ihrem Buch, erwerben Sie es über unsere sichere Kaufabwicklung und erhalten Sie ihr Buch direkt vom Händler.

Millionen neuer und gebrauchter Bücher bei tausenden Anbietern

Antiquarische Bücher

Antiquarische Bücher

Von seltenen Erstausgaben bis hin zu begehrten signierten Ausgaben – beim ZVAB finden Sie eine große Anzahl seltener, wertvoller Bücher und Sammlerstücke.

ZVAB Startseite

Erstausgaben

Erstausgaben

Erstausgaben sind besondere Bücher, die den ersten Abdruck des Textes in seiner ursprünglichen Form darstellen. Hier finden sie Erstausgaben von damals bis heute.

Erstausgaben

Gebrauchte Bücher

Gebrauchte Bücher

Ob Bestseller oder Klassiker, das ZVAB bietet Ihnen eine breite Auswahl an gebrauchten Büchern: Stöbern Sie in unseren Rubriken und entdecken Sie ein Buch-Schnäppchen.

Gebrauchte Bücher

Mehr Bücher entdecken