Specifying Software
A Hands-On Introduction
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
88,96 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9780521004015
Veröffentl:
2010
Einband:
Paperback
Erscheinungsdatum:
02.06.2010
Seiten:
302
Autor:
R. D. Tennent
Gewicht:
493 g
Format:
229x152x18 mm
Sprache:
Englisch
Beschreibung:
An innovative hands-on introduction to techniques for specifying the behaviour of software components.
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.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
