Items related to Specifying Software: A Hands-On Introduction
This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study. This book will help students to improve their 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 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. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership.
"synopsis" may belong to another edition of this title.
Book Description:
A specification of a program is a detailed statement of what users of a program or program fragment expect it to do and what its developers expect of its environment. This book provides a self-contained introduction to software specifications suitable for use by programming students with some background in discrete mathematics and logic. This is one of the few books available on specifications that adopts a "hands-on" approach, presenting basic concepts in the context of numerous small programming examples, making these concepts easier for students to grasp than the traditional large-project approach used in software engineering courses.
Review:
"I would like to single out both the author's approach and his style of presentation as very positive features of the book. Reading this book is definitely inspiring..." Computing Reviews
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2002
- ISBN 10 0521004012
- ISBN 13 9780521004015
- BindingPaperback
- Edition number1
- Number of pages302
Buy New
Learn more about this copy
US$ 42.58
Shipping:
US$ 4.00
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press
(2002)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_0521004012
Buy New
US$ 42.58
Convert currency
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press
(2002)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0521004012
Buy New
US$ 43.37
Convert currency
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press
(2002)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: new. Seller Inventory # FrontCover0521004012
Buy New
US$ 43.33
Convert currency
Stock Image
Specifying Software
Published by
Cambridge University Press
(2002)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: new. Questo è un articolo print on demand. Seller Inventory # b1f5163902a6b17e0666499999a4cb4d
Buy New
US$ 48.50
Convert currency
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge Univ Pr
(2002)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: Brand New. 250 pages. 9.25x6.00x1.00 inches. In Stock. Seller Inventory # __0521004012
Buy New
US$ 48.94
Convert currency
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press
(2002)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Paperback / softback
Quantity: 5
Seller:
Rating
Book Description Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521004015
Buy New
US$ 50.99
Convert currency
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press
(2002)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Feb2215580238084
Buy New
US$ 61.01
Convert currency
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press
(2002)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521004015_lsuk
Buy New
US$ 54.05
Convert currency
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press 2010-10-25
(2010)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Paperback
Quantity: 10
Seller:
Rating
Book Description Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521004015
Buy New
US$ 48.54
Convert currency
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press
(2002)
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Book is in NEW condition. Seller Inventory # 0521004012-2-1
Buy New
US$ 75.01
Convert currency