pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
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
The Definitive Guide to ARM (R) Cortex (R)-M0 and Cortex-M0+ Processors (Paperback)
By: Joseph Yiu
Elsevier Science & Technology
Our Price : £45.89
more details
The Mythical Man-month (Paperback)
By: Frederick P. Brooks
Pearson Education (US)
Our Price : £28.87
more details
BPMN Method and Style, 2nd Edition, with BPMN Implementer's Guide (Paperback)
By: Bruce S. Silver
Cody-Cassidy Press
Our Price : £40.95
more details
Systems Architecture (Paperback)
By: Bruce Cameron, Edward Crawley, Daniel Selva
Pearson Education Limited
Our Price : £73.07
more details
Storytelling in Design (Paperback)
By: Anna Dahlstrom
O'Reilly Media, Inc, USA
Our Price : £29.19
more details
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
 

NEW
Illustrated Encyclopedia of Science
By: CLAUDIA MARTIN
add to basket

Fiction
Impossible Creatures
By: KATHERINE RUNDELL
add to basket

Fiction
Not for the Faint of Heart
By: LEX CROUCHER
add to basket

Fiction
Secret of Golden Island
By: NATASHA FARRANT
add to basket

Early Learning
Dictionary Story
By: SAM WINSTON
add to basket

Early Learning
Little Worried Caterpillar (PB)
By: CHRISTINE PYM
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
Nutty Numbers
By: DR. SEUSS
add to basket

Picture Book
All the Things We Carry PB
By: HELEN DOCHERTY
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket

Picture Book
Animal Swim School
By: KATE PERIDOT
add to basket