R. D. Tennent

Specifying Software

A Hands-On Introduction

• Broschiertes Buch

Produktbeschreibung

An innovative hands-on introduction to techniques for specifying the behaviour of software components

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 302
• Erscheinungstermin: 2. Juni 2010
• Englisch
• Abmessung: 229mm x 152mm x 18mm
• Gewicht: 493g
• ISBN-13: 9780521004015
• ISBN-10: 0521004012
• Artikelnr.: 21761291

Inhaltsangabe

Introduction
Part I. Algorithms: 1. Specifying algorithms
2. Verifying algorithms: basic techniques
3. Verifying algorithms: some examples
4. Additional verification techniques
Part II. Data Representations: 5. Data representation: a case study
6. Data representation: additional examples
Part III. Language Recognizers: 7. Basic concepts
8. State-transition diagrams
9. Regular languages
10. Context-free languages
11. Parsing
12. A taste of computability theory
Appendix A: programming language reference
Appendix B: hints for selected exercises
Index.