Items related to Specifying Software: A Hands-On Introduction
Synopsis
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.
Search results for Specifying Software: A Hands-On Introduction
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Paperback
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.1. Seller Inventory # G0521004012I4N00
Quantity: 1 available
Stock Image
Specifying Software A HandsOn
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Softcover
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 4 out of 5 stars
Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00079749679
Quantity: 1 available
Stock Image
Specifying Software (A Hands-On Introduction)
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Paperback
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_417899679
Quantity: 1 available
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Paperback
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Fine. Seller Inventory # GOR013528050
Quantity: 3 available
Stock Image
Specifying Software : A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Softcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 10936449-6
Quantity: 1 available
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Paperback
Seller: HPB-Ruby, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_427120495
Quantity: 1 available
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Paperback
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0521004012
Quantity: 1 available
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Spain: Cambridge Univ Pr, 2001
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Soft cover
Seller: Bingo Used Books, Vancouver, WA, U.S.A.
Seller rating 5 out of 5 stars
Soft cover. Condition: Near Fine. Trade paperback in near fine condition. Seller Inventory # 94869
Quantity: 1 available
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Softcover
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9780521004015
Quantity: 2 available
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580238084
Quantity: Over 20 available