Specifying Software. An Hands-On Introduction

Specifying Software. An Hands-On Introduction - Robert-D Tennent | Showmesound.org Nous sommes heureux de vous présenter le livre. Téléchargez le livre. en PDF, TXT, FB2 ou tout autre format possible sur showmesound.org.

INFORMATION

AUTEUR
Robert-D Tennent
DIMENSION
4,73 MB
NOM DE FICHIER
Specifying Software. An Hands-On Introduction.pdf
ISBN
2230760006418

DESCRIPTION

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.

Books . Go Search Hello Select your address ... Amazon.in - Buy Specifying Software: A Hands-On Introduction book online at best prices in india on Amazon.in.

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 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.

LIVRES CONNEXES