This is a hard cover book: Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media. Bestandsnummer des Verk�ufers 3O6S10000M0M

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Software Abstractions: Logic, Language, and ...

Verlag: Mit Pr

Erscheinungsdatum: 2012

Einband: Hardcover

Zustand: Acceptable

�ber diesen Titel

Cr�ticas:

"Those who have to learn and use the modern generation of formal methods -- streamlined, lightweight, and highly automated -- will welcome the appearance of the second edition of Daniel Jackson's book on the Alloy language and its analysor. Jackson's writing, like his language design, is full of good taste, and he makes an intelligent and compelling argument for the construction of automated software abstractions as the central activity in software development. Every serious software engineer should read this book." -- Jim Woodcock, University of York, UK "In an area plagued by unnecessary complexity, Alloy shows there is still room for economy and elegance in software design. Readers of this book will enjoy a rare opportunity to learn how to write less in order to say more, without ambiguity. In short, to learn how to be productive." -- Jose N. Oliveira, University of Minho "Relational modeling is a powerful but subtle craft. This book applies the Alloy tool suite to pithy examples to educate everyone from working practitioners to researchers. Its joyful and informal tone mask the depth of accumulated wisdom in these pages." -- Shriram Krishnamurthi, Brown University

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

Anbieterinformationen

About us Our Mission: Goodwill changes lives every day by empowering people to increase their independence and reach their potential through education, health and employment. Our services include: Tuition-free, charter high school for grades 9-12 for students experiencing barriers to education. Tuition-free, charter high schools for adults that focuses on removing barriers to education by offering students flexible scheduling, tutoring, life coaching, child care, transportation, college credits and other resources. Direct hiring for Goodwill jobs, especially for job-seekers with employment barriers like a disability, criminal history or limited education. Job readiness, training and placement for individuals with barriers. Pre-natal and maternal health, parenting skills, child development and school readiness. Connections to resources for transportation, housing, child care, financial literacy and more. A child development center and preschool for children ages six weeks to five years.

Zur Homepage des Verk�ufers