Synopsis
This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.
"synopsis" may belong to another edition of this title.
Product Description
This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Understanding Formal Methods (Facit S)
Stock Image
Understanding Formal Methods
Published by
Springer- Verlag London Limited, London, 2003
ISBN 10: 1852332476
ISBN 13: 9781852332471
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Paperback in very good condition. Cover corners are slightly bumped and rubbed. Covers are clean, binding is sound and pages are clear. LW. Used. Seller Inventory # 611796
Seller Image
Understanding Formal Methods (Facit S)
Seller: Greenworld Books, Arlington, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. Fast Free Shipping â" Good condition book with a firm cover and clean, readable pages. Shows normal use, including some light wear or limited notes highlighting, yet remains a dependable copy overall. Supplemental items like CDs or access codes may not be included. Seller Inventory # GWV.1852332476.G
International Edition
UNDERSTANDING FORMAL METHODS
International EditionSeller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-219662
Stock Image
UNDERSTANDING FORMAL METHODS
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # ASNT3-219662
Stock Image
Understanding Formal Methods
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 296. Seller Inventory # 18323331
Stock Image
Understanding Formal Methods (FACIT S.)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 275 pages. 9.50x6.25x0.75 inches. In Stock. Seller Inventory # __1852332476