Items related to Specifying Software: A Hands-On Introduction
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
R. D. Tennent is Professor of Computing and Information Science at Queen's University in Kingston, Canada, where he has been teaching since 1971. He has also held visiting positions at the University of Grenoble, Oxford University, and the University of Edinburgh. He has published three other books - Principles of Programming Languages (1981), Semantics of Programming Languages (1991), and Algol-like Languages (1997, co-edited with Peter O'Hearn) as well as more than 25 articles in scientific journals. His research interests encompass the design, description, and effective implementation and use of programming languages including: denotational semantics; applications of formal semantics to language design; formal systems for specifying, developing, and verifying programs; advanced type systems and their description; integration of functional and procedural programming; and programming methodology.
"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 HandsOn
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Softcover
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 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: 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
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
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 4 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
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Specifying Software: A Hands-On Introduction This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 7719-9780521004015
Quantity: 9 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
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 6545-9780521004015
Quantity: 9 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
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