Specifying Software. An Hands-On Introduction (Broché)

Robert-D Tennent

Note moyenne : | 0 avis
Ce produit n'a pas encore été évalué. Soyez le premier !
  • Cambridge University Press

  • Paru le : 09/08/2002
  • 1 million de livres à découvrir
  • Livraison à domicile à partir de 0,01 €
  • Paiement sécurisé, débit à l'expédition
31,10 €
Neuf - Expédié sous 8 à 14 jours
Livré chez vous entre le 21 décembre et le 28 décembre
ou
Votre note
This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. Featured topics include techniques for using programmer-friendly assertional notations to specify, develop, and verify small but nontrivial algorithms and data representations and for using state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages. The presentation is based on numerous examples and case studies. It is appropriate for second- and third-year computer science and computer engineering students familiar with basic concepts of discrete mathematics and logic. Using this book will help readers improve their programming skips and develop a solid foundation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory.
  • 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
    • Context-Free Languages
    • Parsing
  • UNIMPLEMENTABLE SPECIFICATIONS
    • A Taste of Computability Theory
  • Date de parution : 09/08/2002
  • Editeur : Cambridge University Press
  • ISBN : 0-521-00401-2
  • EAN : 9780521004015
  • Présentation : Broché
  • Nb. de pages : 300 pages
  • Poids : 0.49 Kg
  • Dimensions : 15,5 cm × 23,5 cm × 2,1 cm

Biographie de Robert-D Tennent

R. D. Tennent is Professor of Computing and Information Science at Queen's University in Kingston, Canada, where he has been teaching since 1971. He has also held visiting positions at the University of Grenoble, Oxford University, and the University of Edinburgh. He has published three other books - Principles of Programming Languages (1981), Semantics of Programming Languages (1991), and Algol-like Languages (1997, co-edited with Peter O'Hearn) as well as more than 25 articles in scientific journals. His research interests encompass the design, description, and effective implementation and use of programming languages including: denotational semantics; applications of formal semantics to language design; formal systems for specifying, developing, and verifying programs; advanced type systems and their description; integration of functional and procedural programming; and programming methodology.

Nos avis clients sur decitre.fr


Avis Trustpilot
Robert-D Tennent - .
Specifying Software. An Hands-On Introduction
31,10 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK

Ne partez pas tout de suite...

Inscription newsletter