CURRENTLY SOLD OUT

Introducing Formal Methods: A Less Mathematical Approach by Neville J. Ford, Judith Ford (Paperback, 1992)

Be the first to write a review

About this product

Best-selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best-selling in Adult Learning & University

Secrets Of Mental Math: The Mathemagician's Guide to Lightening Calculation and Amazing Maths Tricks by Arthur Benjamin, Michael Shermer (Paperback, 2006)
4.8 out of 5 stars based on 16 product ratings
£0.99 New
---- Used
The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)
5.0 out of 5 stars based on 2 product ratings
£23.57 New
---- Used
Never Split the Difference: Negotiating as if Your Life Depended on It by Chris Voss, Tahl Raz (Paperback, 2017)
4.9 out of 5 stars based on 41 product ratings
£6.39 New
£5.93 Used
The Psychology of Money: Timeless lessons on wealth, greed, and happiness by Morgan Housel (Paperback, 2020)
4.3 out of 5 stars based on 10 product ratings
£6.03 New
£5.67 Used
Bee Manual: The complete step-by-step guide to keeping bees by Claire Waring (Hardcover, 2015)
5.0 out of 5 stars based on 43 product ratings
£16.53 New
£15.64 Used
Code of Practice for In-service Inspection and Testing of Electrical Equipment by The Institution of Engineering and Technology (Paperback, 2020)
4.9 out of 5 stars based on 10 product ratings
£44.20 New
£34.99 Used
Adult Children of Emotionally Immature Parents: How to Heal from Distant, Rejecting, or Self-Involved Parents by Lindsay C Gibson (Paperback, 2015)
4.5 out of 5 stars based on 8 product ratings
£7.05 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Bold Beans: Beautiful, Brilliant and Exciting Recipes by Amelia Christie-Miller
£15.49
Trending at £17.21
Trading in the Zone : Master the Market with Confidence - PAPERBACK
£5.99
Trending at £6.60
Health, safety and environment test for operatives and specialists: GT100/19:...
£10.50
Trending at £14.21
Silent Spring by Rachel Carson NEW Book
£10.34
Trending at £11.00
Kirkpatrick's Four Levels of Training Evaluation,
£18.43
Trending at £18.79
Walther P.38: Germany's 9 mm Semiautomatic Pistol in World War II by Stephane...
£18.36
Trending at £22.13

About this product

Product Information

Software engineering techniques are becoming more and more important in the development of high quality software. The use of formal methods to specify and verify the software is now widespread. This book provides a new approach to learning formal methods. By considering the software engineer's tasks, the authors identify the crucial role of software specification and demonstrate that formal methods are an indispensable tool. Methods are introduced as they are required and the underlying theory is developed gradually. There are no mathematical prerequisites for this book and the mathematical material presented arises naturally from the discussion. A final chapter on prototyping finishes off this introduction to formal methods.

Product Identifiers

Publisher
Pearson Higher Education
ISBN-13
9780134843209
eBay Product ID (ePID)
91245012

Product Key Features

Author
Neville J. Ford, Judith Ford
Publication Name
Introducing Formal Methods: a Less Mathematical Approach
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1992
Type
Textbook
Number of Pages
236 Pages

Dimensions

Item Height
234mm
Item Width
175mm
Item Weight
414g

Additional Product Features

Title_Author
Neville J. Ford, Judith Ford
Series Title
Ellis Horwood Series in Computers and Their Applications
Country/Region of Manufacture
United Kingdom

No ratings or reviews yetNo ratings or reviews yet

Be the first to write a review

Shop by category

Introducing Formal Methods: A Less Mathematical Approach by Neville J. Ford, Judith Ford (Paperback, 1992)

Best-selling in Adult Learning & University

Secrets Of Mental Math: The Mathemagician's Guide to Lightening Calculation and Amazing Maths Tricks by Arthur Benjamin, Michael Shermer (Paperback, 2006)

The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)

Never Split the Difference: Negotiating as if Your Life Depended on It by Chris Voss, Tahl Raz (Paperback, 2017)

The Psychology of Money: Timeless lessons on wealth, greed, and happiness by Morgan Housel (Paperback, 2020)

Bee Manual: The complete step-by-step guide to keeping bees by Claire Waring (Hardcover, 2015)

Code of Practice for In-service Inspection and Testing of Electrical Equipment by The Institution of Engineering and Technology (Paperback, 2020)

Adult Children of Emotionally Immature Parents: How to Heal from Distant, Rejecting, or Self-Involved Parents by Lindsay C Gibson (Paperback, 2015)

Save on Adult Learning & University

Bold Beans: Beautiful, Brilliant and Exciting Recipes by Amelia Christie-Miller

Trading in the Zone : Master the Market with Confidence - PAPERBACK

Health, safety and environment test for operatives and specialists: GT100/19:...

Silent Spring by Rachel Carson NEW Book

Kirkpatrick's Four Levels of Training Evaluation,

Walther P.38: Germany's 9 mm Semiautomatic Pistol in World War II by Stephane...

You may also like

Paperback Mathematics and Science Books

Judith Kerr Paperback Fiction & Books

Mathematics & Sciences Non-Fiction Mathematics Paperback Fiction & Books

Non-Fiction Methodism Paperback Fiction & Books

Judith McNaught Fiction Paperback Fiction & Books

Judith Kerr Paperback Illustrated Fiction & Books

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features