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: MODELLING SYSTEMS
PRACTICAL TOOLS AND TECHNIQUES IN SOFTWARE DEVELOPMENT
By: John Fitzgerald, Peter Gorm Larsen
Format: Hardback

List price: £53.99
Our price: £47.24
Discount:
12.5% off
You save: £6.75
ISBN 10: 0521899117
ISBN 13: 9780521899116
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: CAMBRIDGE UNIVERSITY PRESS
Pub. date: 11 June, 2009
Edition: 2nd Revised edition
Pages: 304
Description: Updated introduction to software modelling using VDM. Includes advanced online tool support and up-to-date reports on real commercial applications.
Synopsis: How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.
Illustrations: 14 b/w illus. 20 tables 55 exercises
Publication: UK
Imprint: Cambridge University Press
Returns: Returnable
Some other items by this author:
A REVIEW OF IRISH ENERGY POLICY
A TRUE VIKING IS BORN (PB)
ABSTRACT STATE MACHINES, ALLOY, B, VDM, AND Z (PB)
ALIEN GENIE
AWAKENING CHINA (HB)
AWAKENING CHINA (PB)
BACKWARDS INTO THE FUTURE - MEDITATIONS ON THE LETTER TO THE HEBREWS, WITH A GUIDE TO LECTIO DIVINA BY CARLOS MESTERS (PB)
BAD HARE DAYS (PB)
BIG WHITE LIE (PB)
BRAINERD INTERNATIONAL RACEWAY (HB)
CADRE COUNTRY: HOW CHINA BECAME THE CHIN (PB)
COLLABORATIVE DESIGN FOR EMBEDDED SYSTEMS (HB)
COLLABORATIVE DESIGN FOR EMBEDDED SYSTEMS (PB)
ECCLESIASTES
EUROPE AND THE TRANSFORMATION OF THE IRISH ECONOMY
FAVORITE BEDTIME STORIES (PB)
FM 2005 (PB)
FM 2016: FORMAL METHODS (PB)
FME '93 INDUSTRIAL-STRENGTH FORMAL METHODS (PB)
FUTURE PROOF YOUR CAREER
JENNINGS KEELINGA
JRW: C.M.S. ANNUAL LETTERS
LEGENDS, BALLADS AND SONGS OF THE LEE
LEGENDS, BALLADS AND SONGS OF THE LEE C (PB)
LEGENDS, BALLADS AND SONGS OF THE LEE (HB)
LEGENDS, BALLADS AND SONGS OF THE LEE (HB)
LEGENDS, BALLADS AND SONGS OF THE LEE (PB)
LEGENDS, BALLADS, AND SONGS OF THE LEE (1862) (HB)
LEGENDS, BALLADS, AND SONGS OF THE LEE (1862) (PB)
LESSONS LEARNED? (PB)
LISTENING TO CHILDREN (PB)
MODELLING SYSTEMS
MOESEG NICOMACHAIDD ARISTOTELES (HB)
OPERATION HAWK''S NEST (PB)
POWER AND IDENTITY IN THE CHINESE WORLD ORDER (HB)
RETHINKING CHINA'S PROVINCES
RETHINKING CHINA'S PROVINCES
RETHINKING CHINA'S PROVINCES
RETHINKING CHINA'S PROVINCES
RETHINKING CHINA'S PROVINCES
RETHINKING CHINA'S PROVINCES
RETHINKING CHINA'S PROVINCES (HB)
ROSS DIOCESAN MAGAZINES
SPRING WATER
STUDYING BRITISH CINEMA: 1999-2009 (HB)
STUDYING BRITISH CINEMA: 1999-2009 (PB)
SUKINA (PB)
TABLET OF CEBES (PB)
TELLING TIME BY THE SHADOWS
THE CORK REMEMBRANCER
THE CORK REMEMBRANCER
THE CORK REMEMBRANCER: BEING AN HISTORIC (HB)
THE CORK REMEMBRANCER: BEING AN HISTORIC (PB)
THE CORK REMEMBRANCER; BEING AN HISTORICAL REGISTER CONTAINING A CHRONOLOGICAL ACCOUNT OF ALL THE REMARKABLE BATTLES, SIEGES, CONSPIRACIES (ET AL.) THAT HAVE HAPPENED SINCE THE CREATION TO THE PRESENT YEAR, 1783, PARTICULARLY FOR ENGLAND AND IRELAND, AND
THE DIGNITY OF NATIONS (HB)
THE ECONOMIC EFFECTS OF CARBON TAXES (PB)
THE HISTORY OF BANDON
THE JENNINGS FAMILIES FROM WEST CORK: 1800-1985 WEST CORK TO NEW WORLDS
THE MACRO-ECONOMIC EFFECTS OF USING FISCAL INSTRUMENTS TO REDUCE GREENHOUSE GAS EMISSIONS (PB)
THE MID-TERM EVALUATION OF THE NATIONAL DEVELOPMENT PLAN AND COMMUNITY SUPPORT FRAMEWORK FOR IRELAND (PB)
THE MIND (PB)
THE PAGES FROM HISTORY: THE VIETNAM WAR (HB)
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008 (PB)
THOMAS WOLFE OF MALLAVONEA
TOWNLANDS OF COUNTY CORK
VALIDATED DESIGNS FOR OBJECT-ORIENTED SYSTEMS (HB)
VALIDATED DESIGNS FOR OBJECT-ORIENTED SYSTEMS (PB)
WELFARE IMPLICATIONS OF DEMOGRAPHIC TRENDS (PB)
WHO'S AFRAID OF THE BIG ENLARGEMENT? (PB)
YSGRIFAU ATHRONYDDOL AR GREFYDD (PB)

TOP SELLERS IN THIS CATEGORY
Designing Data-Intensive Applications (Paperback)
By: Martin Kleppmann
O'Reilly Media, Inc, USA
Our Price : £35.03
more details
Clean Architecture (Paperback)
By: Robert C. Martin
Pearson Education (US)
Our Price : £29.69
more details
Clean Code (Paperback)
By: Robert C. Martin
Pearson Education (US)
Our Price : £39.59
more details
The Clean Coder (Paperback)
By: Robert C. Martin
Pearson Education (US)
Our Price : £31.44
more details
The Mythical Man-month (Paperback)
By: Frederick P. Brooks
Pearson Education (US)
Our Price : £31.49
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 software engineering


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
World’s Worst Superheroes
By: DAVID WALLIAMS
GET READY FOR SOME SUPERSIZED FUN!
add to basket

Inspiring
Maya Angelou
By: EVIE DAYE
add to basket

Inspiring
Jane Goodall
By: EVIE DAYE
add to basket

Inspiring
Marie Curie
By: EVIE DAYE
add to basket

New
Running My Own Race
By: ABENA EYESON
add to basket

New
No Cheese, Please!
By: NISHANI REED
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero
By: DAVID SOLOMONS
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket

Picture Book
Thoughts from a Quiet Bench
By: KES GRAY
add to basket

Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket