Items related to Introducing Formal Methods: A Less Mathematical Approach...
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...
Seller Image
Introducing Formal Methods: A Less Mathematical Approach (Ellis Horwood Series in Computers & Their Applications)
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0134843207.G
Stock Image
Introducing Formal Methods : A Less Mathematical Approach
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # GRP10091861
Seller Image
Introducing Formal Methods - a Less Mathematical Approach
Published by
Ellis Horwood Ltd, 1993
ISBN 10: 0134843207
ISBN 13: 9780134843209
Used
Paperback
First Edition
Seller: Washburn Books, Pateley Bridge, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Near Fine. y First Edition. Chichester: Ellis Horwood Ltd, 1993. Book. Near Fine. Soft cover. First Edition. 8vo - over 7¾" - 9¾" tall. 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. Book. Seller Inventory # 012623
Buy Used
£ 9
£ 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.04 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available