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.
Search results for Formal Specification: Techniques and Applications
Stock Image
Formal Specification: Techniques and Applications
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_425587184
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
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
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 # ABEOCT25-223280
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: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHAK223280
Quantity: 1 available
Seller Image
Formal Specification : Techniques and Applications
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 890644-n
Quantity: 15 available
Seller Image
Formal Specification: Techniques and Applications (Paperback or Softback)
Published by
Springer 7/27/1999, 1999
ISBN 10: 1852330023
ISBN 13: 9781852330026
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 4 out of 5 stars
Paperback or Softback. Condition: New. Formal Specification: Techniques and Applications. Book. Seller Inventory # BBS-9781852330026
Quantity: 5 available