Items related to Formal Specification: Techniques and Applications
Synopsis
Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to "demystify" them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.
"synopsis" may belong to another edition of this title.
Synopsis
Designed for second and third year undergraduate and postgraduate courses in formal methods, this textbook offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasizes the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (such as card games), in order to "demystify" them and make them more comprehensible. It includes coverage of the topic including: important recent advances; exercises with model answers; case studies to guide students through the main principles; and margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 38.45
FREE shipping from U.S.A. to United Kingdom
Destination, rates & speeds
Search results for Formal Specification: Techniques and Applications
Stock Image
Formal Specification: Techniques and Applications
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-T-016-02011
Quantity: 2 available
Stock Image
Formal Specification: Techniques and Applications
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,600grams, ISBN:9781852330026. Seller Inventory # 9079288
Quantity: 1 available
Stock Image
Formal Specification: Techniques and Applications
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9781852330026. Seller Inventory # 9079287
Quantity: 1 available
Stock Image
Formal Specification : Techniques and Applications
Published by
Springer London, Limited, 1999
ISBN 10: 1852330023
ISBN 13: 9781852330026
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 52435260-6
Quantity: 1 available
Seller Image
Formal Specification: Techniques and Applications.
Seller: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. 316 p. In very good condition. ISBN: 9781852330026 Sprache: Englisch Gewicht in Gramm: 477 15,6 x 1,8 x 23,0 cm, softcover. Seller Inventory # 59302
Quantity: 1 available
Stock Image
Formal Specification - Techniques And Applications
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-85765
Quantity: 1 available
Stock Image
Formal Specification - Techniques And Applications
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-248017
Quantity: 1 available
Stock Image
Formal Specification: Techniques and Applications
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Seller Inventory # SHUB248017
Quantity: 1 available
Stock Image
Formal Specification: Techniques and Applications
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781852330026_new
Quantity: Over 20 available
Stock Image
Formal Specification: Techniques and Applications
Published by
Springer London Ltd, 1999
ISBN 10: 1852330023
ISBN 13: 9781852330026
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 475. Seller Inventory # C9781852330026
Quantity: Over 20 available