Skip to content

Specifying Software: A Hands-On Introduction
Stock Photo: Cover May Be Different

Specifying Software: A Hands-On Introduction Paperback - 2002 - 1st Edition

by R. D. Tennent


From the publisher

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.

Details

  • Title Specifying Software: A Hands-On Introduction
  • Author R. D. Tennent
  • Binding Paperback
  • Edition number 1st
  • Edition 1
  • Pages 302
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press, Cambridge, UK; New York
  • Date 2002-02-25
  • ISBN 9780521004015 / 0521004012
  • Weight 0.95 lbs (0.43 kg)
  • Dimensions 8.9 x 6 x 0.9 in (22.61 x 15.24 x 2.29 cm)
  • Library of Congress subjects Computer programming, Computer software - Specifications
  • Library of Congress Catalog Number 2001037939
  • Dewey Decimal Code 005.1

Media reviews

Citations

  • Choice, 07/01/2002, Page 1994
Back to Top

More Copies for Sale

Specifying Software : A Hands-On Introduction
Stock Photo: Cover May Be Different

Specifying Software : A Hands-On Introduction

by Tennent, R. D

  • Used
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
1
Seller
Dunfermline, Fife, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$6.94
$10.00 shipping to USA

Show Details

Description:
Cambridge University Press. Used - Very Good. 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.
Item Price
$6.94
$10.00 shipping to USA
Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction

by Tennent, R. D.

  • Used
  • Paperback
Condition
Like New
Binding
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
1
Seller
GORING BY SEA, West Sussex, United Kingdom
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$10.43
$10.76 shipping to USA

Show Details

Description:
Paperback. Like New.
Item Price
$10.43
$10.76 shipping to USA
Specifying Software: A Hands-On Introduction
Stock Photo: Cover May Be Different

Specifying Software: A Hands-On Introduction

by Tennent, R. D.

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$11.58
FREE shipping to USA

Show Details

Description:
Cambridge University Press, 2002. Paperback. Good. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$11.58
FREE shipping to USA
Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction

by Tennent, R. D.

  • Used
  • Acceptable
  • Paperback
Condition
Used - Acceptable
Binding
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$11.58
FREE shipping to USA

Show Details

Description:
Cambridge University Press, 2002. Paperback. Acceptable. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$11.58
FREE shipping to USA
Specifying Software : A Hands-On Introduction
Stock Photo: Cover May Be Different

Specifying Software : A Hands-On Introduction

by Tennent, R. D

  • Used
Condition
Used - Good
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
1
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$11.62
FREE shipping to USA

Show Details

Description:
Cambridge University Press. Used - Good. Used book that is in clean, average condition without any missing pages.
Item Price
$11.62
FREE shipping to USA
Specifying Software : A Hands-On Introduction
Stock Photo: Cover May Be Different

Specifying Software : A Hands-On Introduction

by Tennent, R. D

  • Used
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
2
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$11.62
FREE shipping to USA

Show Details

Description:
Cambridge University Press. Used - Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
$11.62
FREE shipping to USA
Specifying Software: A Hands-On Introduction
Stock Photo: Cover May Be Different

Specifying Software: A Hands-On Introduction

by Tennent, R. D

  • Used
  • Paperback
Condition
Used: Good
Edition
1
Binding
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$16.02
FREE shipping to USA

Show Details

Description:
Cambridge University Press, 2002-02-25. 1. paperback. Used: Good.
Item Price
$16.02
FREE shipping to USA
Specifying Software: A Hands-On Introduction
Stock Photo: Cover May Be Different

Specifying Software: A Hands-On Introduction

by Tennent, R.D.

  • Used
  • near fine
  • Paperback
Condition
Used - Near Fine
Binding
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
1
Seller
Vancouver, Washington, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$27.55
$5.75 shipping to USA

Show Details

Description:
Spain: Cambridge Univ Pr, 2001. Trade paperback in near fine condition.. Soft cover. Near Fine.
Item Price
$27.55
$5.75 shipping to USA
Specifying Software: A Hands-On Introduction
Stock Photo: Cover May Be Different

Specifying Software: A Hands-On Introduction

by R. D. Tennent

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
1
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
$47.78
$12.56 shipping to USA

Show Details

Description:
Cambridge Univ Pr, 2002. Paperback. New. 250 pages. 9.25x6.00x1.00 inches.
Item Price
$47.78
$12.56 shipping to USA
Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction

by R.D. Tennent

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Quantity Available
5
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$51.81
$12.50 shipping to USA

Show Details

Description:
Paperback / softback. New. 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 programming examples. Topics include assertional notations, state diagrams, grammars, and regular expressions.
Item Price
$51.81
$12.50 shipping to USA