Items related to Specifying Software: A Hands-On Introduction
Synopsis
An innovative hands-on introduction to techniques for specifying the behaviour of software components.
"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 Hands-On Introduction
Published by
Cambridge University Press, United Kingdom, Cambridge, 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. 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 # GOR013528050
Buy Used
£ 2.80
£ 5.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 7 available
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, United Kingdom, Cambridge, 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: Very Good. 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. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR003091516
Buy Used
£ 2.80
£ 5.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 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, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 1st. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 10936449-6
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. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 10936449-6
Buy Used
£ 4.82
£ 5 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Softcover
Seller: Zoom Books East, Glendale Heights, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Seller Inventory # ZEV.0521004012.VG
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
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
Seller Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Softcover
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Seller Inventory # GWSVV.0521004012.G
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
Stock Image
Specifying Software: A Hands-On Introduction
Published by
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Used
Softcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9780521004015. Seller Inventory # 5786811
Buy Used
£ 18.15
£ 13.22 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available