Specifying Software: A Hands-On Introduction
by R.D. Tennent
- New
- Paperback
- Condition
- New
- ISBN 10
- 0521004012
- ISBN 13
- 9780521004015
- Seller
-
Southport, Merseyside, United Kingdom
5 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Paperback / softback. New. An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author adopts a unique 'hands-on' approach, presenting basic concepts in the context of numerous small programming examples. Topics include assertional notations, state diagrams, grammars, and regular expressions.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- The Saint Bookstore (GB)
- Bookseller's Inventory #
- B9780521004015
- Title
- Specifying Software: A Hands-On Introduction
- Author
- R.D. Tennent
- Format/Binding
- Paperback / softback
- Book Condition
- New New
- Quantity Available
- 5
- Binding
- Paperback
- ISBN 10
- 0521004012
- ISBN 13
- 9780521004015
- Publisher
- Cambridge University Press
- Place of Publication
- Cambridge, Uk; New York
- This edition first published
- December 15, 2001
Terms of Sale
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
About the Seller
The Saint Bookstore
Biblio member since 2018
Southport, Merseyside
About The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glossary
Some terminology that may be used in this description includes:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...