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 (Facit S)
Published by
Springer (edition Softcover reprint of the original 1st ed. 2003), 2002
ISBN 10: 1852332476
ISBN 13: 9781852332471
Used
Paperback
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. Softcover reprint of the original 1st ed. 2003. Seller Inventory # 1852332476-7-1-13
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
Buy Used
£ 55
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Understanding Formal Methods (Facit S)
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. Seller Inventory # BSM.14PV8
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. It may show normal signs of use, such as light writing, highlighting, or library markings, but all pages are intact and the book is fully readable. A solid, complete copy that's ready to enjoy. Seller Inventory # GWV.1852332476.G
Stock Image
Understanding Formal Methods
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 296. Seller Inventory # 18323331
Seller Image
Understanding Formal Methods (Facit S)
Seller: Studibuch, Stuttgart, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Sehr gut. 292 Seiten; 9781852332471.2 Gewicht in Gramm: 1. Seller Inventory # 1114113