Visit our new collection website
www.collectionsforschool.co.uk
SCHOOL BOOKS
KEY STAGES
BEST SELLERS
BOOK AWARDS
NEW FICTION
HOME
FURTHER EDUCATION
SECONDARY
PRIMARY
COLLECTIONS
VIEW BASKET
CHECK-OUT
MY ACCOUNT
HELP
Title / ISBN13
ISBN / EAN
Author
Publisher
Series
Category
Email:
Subscribe to news & offers:
Need assistance?
Log In/Register
CATEGORY BROWSE
Arts
Agriculture
Biography
Business
Children's
Computing
Earth Sciences
Economics
Educational
Engineering
English Language Teaching (ELT)
Environment
Family
Fiction
Finance
Geography
Home
Humanities
Industry
Information
Information Technology
Interdisciplinary Subjects
Language
Law
Leisure Interests
Literature
Mathematics
Medicine
Planning
Practical Interests
Reference
Science
Social Sciences
Sport
Technology
Travel
Veterinary Science
ABOUT US
About Us
Contact Us
Terms & Conditions
Item Details
Title:
SOFTWARE ABSTRACTIONS
LOGIC, LANGUAGE, AND ANALYSIS
By:
Daniel Jackson
Format:
Paperback
List price:
£33.00
Our price:
£26.40
Discount:
20
% off
You save:
£6.60
ISBN 10:
0262528908
ISBN 13:
9780262528900
Availability:
Publisher out of stock. This item may be subject to delays or cancellation.
Delivery rates
Stock:
Currently
0
available
Publisher:
MIT PRESS LTD
Pub. date:
12 February, 2016
Edition:
revised edition
Series:
Software Abstractions
Pages:
376
Description:
Previously published in hardcover: 2012.
Synopsis:
In Software Abstractions Daniel Jackson introduces an 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. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.
Illustrations:
58 b&w illus.
Publication:
US
Imprint:
MIT Press
Returns:
Returnable
Some other items by this author:
A SHORT ACCOUNT OF THE COURTSHIP OF ALON (HB)
A SHORT ACCOUNT OF THE COURTSHIP OF ALON (PB)
A SHORT ACCOUNT OF THE COURTSHIP OF ALONZO
A SHORT ACCOUNT OF THE COURTSHIP OF ALONZO & MELISSA
A SHORT ACCOUNT OF THE COURTSHIP OF ALONZO & MELISSA
A SHORT ACCOUNT OF THE COURTSHIP OF ALONZO & MELISSA (HB)
A SHORT ACCOUNT OF THE COURTSHIP OF ALONZO AND MELISSA
ADMINISTRATOR
ADMINISTRATOR (PB)
ALONZO AND MELISSA
ALONZO AND MELISSA
ALONZO AND MELISSA
ALONZO AND MELISSA (HB)
ALONZO AND MELISSA THE UNFEELING FATHER (PB)
ALONZO AND MELISSA; (PB)
ALONZO AND MELISSA; OR THE UNFEELING FATHER
ALONZO AND MELISSA; OR, THE UNFEELING FA (PB)
ALONZO AND MELISSA; OR, THE UNFEELING FATHER. AN AMERICAN TALE
ALONZO AND MELISSA; OR, THE UNFEELING FATHER. AN AMERICAN TALE
ALONZO AND MELISSA; OR, THE UNFEELING FATHER. AN AMERICAN TALE
ALONZO AND MELISSA; OR, THE UNFEELING FATHER. AN AMERICAN TALE (HB)
ALONZO AND MELISSA; OR, THE UNFEELING FATHER. AN AMERICAN TALE (HB)
APHRODITE (PB)
CLINICAL EVIDENCE MADE EASY (PB)
CLINICAL EVIDENCE MADE EASY, SECOND EDITION
E-BUSINESS AND WORKPLACE REDESIGN
ESSENCE OF SOFTWARE
ESSENCE OF SOFTWARE (HB)
EU REFERENDUM ANALYSIS 2016: MEDIA, VOTERS AND THE CAMPAIGN
FAMINE, SWORD & FIRE (HB)
HEALTHCARE ECONOMICS MADE EASY (PB)
HEALTHCARE ECONOMICS MADE EASY, SECOND EDITION (PB)
HEALTHCARE ECONOMICS MADE EASY, THIRD EDITION
HIT BRANDS
HIT BRANDS (HB)
LIGHTNING FAST DRUMS COURSE
LIGHTNING FAST GUITAR COURSE
LIGHTNING FAST SONGWRITING HANDBOOK
LIGHTNING FAST UKULELE COURSE
MEDIA, MARGINS AND CIVIC AGENCY
MEDIA, MARGINS AND CIVIC AGENCY (HB)
MEDIA, MARGINS AND POPULAR CULTURE
MEDIA, MARGINS AND POPULAR CULTURE (HB)
POPULAR OPPOSITION TO IRISH HOME RULE IN EDWARDIAN BRITAIN (HB)
PORTRAITS OF RESILIENCE (HB)
REFRAMING DISABILITY?
REFRAMING DISABILITY?
REFRAMING DISABILITY?
REFRAMING DISABILITY? (HB)
REFRAMING DISABILITY? (PB)
REFRAMING DISABILITY? (PB)
SOFTWARE ABSTRACTIONS (HB)
SOFTWARE ABSTRACTIONS (HB)
SOFTWARE FOR DEPENDABLE SYSTEMS (PB)
SONIC BRANDING
SONIC BRANDING (HB)
THE ASYLUM, OR, ALONZO AND MELISSA
THE ASYLUM, OR, ALONZO AND MELISSA
THE FORGOTTEN SQUADRON (HB)
THE MEDIA, POLITICAL PARTICIPATION AND EMPOWERMENT
THE MEDIA, POLITICAL PARTICIPATION AND EMPOWERMENT
THE MEDIA, POLITICAL PARTICIPATION AND EMPOWERMENT
THE MEDIA, POLITICAL PARTICIPATION AND EMPOWERMENT (HB)
THE MEDIA, POLITICAL PARTICIPATION AND EMPOWERMENT (PB)
TOP SELLERS IN THIS CATEGORY
Computer Organization and Design ARM Edition
(Paperback)
By:
David A. Patterson, John L. Hennessy
Elsevier Science & Technology
Our Price :
£67.49
The Mythical Man-month
(Paperback)
By:
Frederick P. Brooks
Pearson Education (US)
Our Price :
£31.99
Site Reliability Engineering
(Paperback)
By:
Betsy Beyer, Chris Jones, Jennifer Petoff
O'Reilly Media, Inc, USA
Our Price :
£35.03
Systems Design and Engineering
(Paperback)
By:
G. Maarten Bonnema, Karel T. Veenvliet, Jan F. Broenink
Taylor & Francis Inc
Our Price :
£43.19
Requirements Engineering Fundamentals
(Paperback)
By:
Klaus Pohl, Chris Rupp
Rocky Nook
Our Price :
£24.09
BROWSE FOR BOOKS IN RELATED CATEGORIES
COMPUTING AND INFORMATION TECHNOLOGY
general theory of computing
systems analysis & design
Information provided by
www.pickabook.co.uk
SHOPPING BASKET
Your basket is empty
Total Items:
0
Tweet this!
Stumble Upon
Blogger
Delicious
Digg
Facebook
AddThis
NEW
Ramadan and Eid al-Fitr
By:
SARA KHAN
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
Learning
That''s My Story!: Drama for Confidence, Communication and C...
By:
ADAM POWER-ANNAND
The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
Learning
Power of 2
By:
DAVID JOSEPH SHARP
Learning
Reading Lessons
By:
CAROL ATHERTON
Easter
Greg the Sausage Roll: Egg-cellent Easter Adventure
By:
MARK HOYLE
Easter
Dear Easter Bunny
By:
MAXINE LEE-MACKIE
Easter
We''re Going on an Egg Hunt
By:
GOLDIE HAWK
Picture Book
Bowerbird
By:
JULIA DONALDSON
Picture Book
Mummy and Me
By:
LYDIA BRIGHT