Specifying Software A Hands-On Introduction

Name: Specifying Software A Hands-On Introduction
Price: 42.61 USD
Availability: InStock
ISBN: 9780521808149

ISBN-10: 0521808146

ISBN-13: 9780521808149

Edition: 2001

Authors: R. D. Tennent

List price: $111.00

30 day, 100% satisfaction guarantee!

Marketplace

3 new & used from $42.61

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…

Book details

List price: $111.00
Copyright year: 2001
Publisher: Cambridge University Press
Publication date: 2/25/2002
Binding: Hardcover
Pages: 302
Size: 5.98" wide x 9.02" long x 0.83" tall
Weight: 1.342



Introduction



Algorithms



Specifying algorithms



Verifying algorithms: basic techniques



Verifying algorithms: some examples



Additional verification techniques



Data Representations



Data representation: a case study



Data representation: additional examples



Language Recognizers



Basic concepts



State-transition diagrams



Regular languages



ontext-free languages



arsing



taste of computability theory



programming language reference



hints for selected exercises


Index