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
Seller Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521808146
ISBN 13: 9780521808149
Used
Hardcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0521808146.G
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521808146
ISBN 13: 9780521808149
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521808149
Buy New
US$ 124.15
US$ 22.82 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521808146
ISBN 13: 9780521808149
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9780521808149_new
Buy New
US$ 133.50
US$ 14.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Specifying Software
Published by
Cambridge University Press, GB, 2002
ISBN 10: 0521808146
ISBN 13: 9780521808149
New
Hardcover
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. 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 # LU-9780521808149
Buy New
US$ 151.87
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Specifying Software
Published by
Cambridge University Press CUP, 2002
ISBN 10: 0521808146
ISBN 13: 9780521808149
New
Hardcover
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 302 1st Edition. Seller Inventory # 26322252
Stock Image
Specifying Software (Hardcover)
Published by
Cambridge University Press, Cambridge, 2002
ISBN 10: 0521808146
ISBN 13: 9780521808149
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. An introductory textbook on software specifications suitable for programming students with a background in discrete mathematics and logic. The author adopts a 'hands-on' approach, presenting basic concepts in the context of numerous small programming examples. Topics include assertional notations, state diagrams, grammars and regular expressions. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521808149
Buy New
US$ 130.48
US$ 49.09 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Specifying Software
Published by
Cambridge University Press, 2002
ISBN 10: 0521808146
ISBN 13: 9780521808149
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 302 29 Illus. Seller Inventory # 7558419
Buy New
US$ 173.25
US$ 8.62 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Specifying Software
Published by
Cambridge University Press, 2002
ISBN 10: 0521808146
ISBN 13: 9780521808149
New
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 302. Seller Inventory # 18322246
Buy New
US$ 182.24
US$ 11.20 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Specifying Software
Published by
Cambridge University Press, 2015
ISBN 10: 0521808146
ISBN 13: 9780521808149
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 programm. Seller Inventory # 446948050
Buy New
US$ 147.29
US$ 55.13 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Specifying Software
Published by
Cambridge University Press, 2002
ISBN 10: 0521808146
ISBN 13: 9780521808149
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 # 9780521808149
Buy New
US$ 175.15
US$ 39.39 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available