Specifying Software: A Hands-On Introduction
Language: English
Published by Cambridge University Press, United Kingdom, Cambridge, 2002
- Softcover
- Used
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
AbeBooks seller since March 16, 2007
Condition: Used - Fine
US$ 3.88
Quantity: 7 available
Add to basketItem description from seller
Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages.
Seller Inventory # GOR013528050
- Title
- Specifying Software: A Hands-On Introduction
- Author
- R. D. Tennent (Queen's University, Ontario)
- Publisher
- Cambridge University Press, United Kingdom, Cambridge
- Publication year
- 2002
- Condition
- Fine
- Binding
- Paperback
- Language
- English
- ISBN 10
- 0521004012
- ISBN 13
- 9780521004015
- Item weight
- 422 grams
- Dimensions
- 156.0 x 235.0
"Synopsis" may belong to another edition of this title.
Book Description
"About the title" may belong to another edition of this title.
WorldofBooks
Goring-By-Sea, WS, United Kingdom
AbeBooks seller since March 16, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 7 to 12 business days | 5 to 9 business days |
|---|---|---|
| First item | US$ 7.54 | US$ 16.15 |
Payment methods
Store description
In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company pioneering the circular economy. Today, we drive the circular economy through three re-commerce brands: - Wob: Through Wob, we sell. We provide affordable, preloved books and media to customers all over the world. A book leaves our collection of over seven million titles and begins a new chapter every two seconds, enabling more goods to be reused. - Ziffit: Through Ziffit, we buy. We give people around the world the opportunity to contribute to the circular economy, earn money and protect the planet, by trading their unwanted books and media. - Shopiago: Through Shopiago, we help others. By sharing the technology that has grown World of Books Group into the business it is today, we’re helping charities increase revenue and reduce waste through re-commerce.…
Specialty
COOKERY, RECYCLE, CHARITY, USED BOOKS, MODERN, HISTORY, CHILDRENS, FICTION, CHEAP BOOKS, NON -FICTIONSeller's business information
World of Books Ltd
Mulberry House, Woods Way Trading Estate
Goring-By-Sea, United Kingdom BN12 4QY
Terms of sale
WorldofBooks.com fully embraces the AbeBooks terms and conditions and we will do
what we can to resolve any issues.
Shipping terms
Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.