HUDU

Specifying Software: A Hands-On Introduction

Jetzt
€ 52,49
Bisher € 55,42
 
kartoniert
Lieferbar innert 2 Wochen
Juni 2010

Beschreibung

Beschreibung

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

Inhaltsverzeichnis

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.
EAN: 9780521004015
ISBN: 0521004012
Untertitel: Sprache: Englisch.
Verlag: CAMBRIDGE UNIV PR
Erscheinungsdatum: Juni 2010
Seitenanzahl: 302 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben