Introducing Formal Methods: A Less Mathematical Approach (Ellis Horwood Series in Computers and Their Applications) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Introducing Formal Methods: A Less Mathematical Approach...
Stock Image
Introducing Formal Methods: A Less Mathematical Approach
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9780134843209. Seller Inventory # 8830884
Buy Used
£ 2.50
£ 13.40 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Introducing Formal Methods - a Less Mathematical Approach
Published by
Ellis Horwood Ltd, Chichester, 1993
ISBN 10: 0134843207
ISBN 13: 9780134843209
Used
Soft cover
First Edition
Seller: Washburn Books, Pateley Bridge, United Kingdom
Seller rating 5 out of 5 stars
Soft cover. Condition: Near Fine. No Jacket. First Edition. New approach to learning formal methods in software engineering. 226pp with index, illustrated with black and white charts and diagrams to the text. Minimal surface wear, otherwise near fine copy with no inscriptions. Size: 8vo - over 7¾" - 9¾" tall. Book. Seller Inventory # 012623
Buy Used
£ 15
£ 20.70 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Introducing Formal Methods: A Less Mathematical Approach
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780134843209. Seller Inventory # 3965322
Buy Used
£ 27.38
£ 13.40 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available