Program Construction: Calculating Implementations from Specifications
Roland Backhouse
Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmerThis comprehensive guide is a balanced combination of mathematical theory and the practice of programmingStraightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functionsIncludes a wide range of entertaining and challenging examples and exercises
Categorias:
Ano:
2003
Edição:
1
Editora:
John Wiley & Sons, Ltd
Idioma:
english
Páginas:
353
ISBN 10:
0470848820
ISBN 13:
9780470848821
Arquivo:
PDF, 19.79 MB
IPFS:
,
english, 2003
Amazon 
Barnes & Noble 
Bookshop.org
Quer adicionar a sua livraria? Entre em contato conosco em support@z-lib.do
Converter ficheiros 
Mais resultados de pesquisa
Outros benefícios 
![Charles A. Cusack, David A. Santos — An Active Introduction to Discrete Mathematics and Algorithms [lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/fe9c2b85eb0f3ad4d6c21d5fbece0e6ed5d8b0b278ecddd47c6842121df2bdfe.jpg)
![Charles A. Cusack, David A. Santos — An Active Introduction to Discrete Mathematics and Algorithms [lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/6f6785c3aeefc702ea904debf5badde48d8ce04edf3226c8ab1dee8fc252d58a.jpg)
Frases chave
Listas de livros relacionados
