Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Systematic Program Design

Name: Systematic Program Design
Brand: Cambridge University Press
SKU: 01338439
Price: 90.76 EUR
Availability: InStock
Author: Yanhong Annie Liu
ISBN: 9781107036604

Yanhong Annie Liu

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 01338439

Editoras Cambridge University Press, maio 2013

A systematic program design method can help developers ensure the correctness and performance of pro... Descrição completa

Código Libristo: 01338439

220 b

90.76 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Biorremediación de diferentes contaminantes por organismos acuáticos Awad Ragab

Capa mole

43.10 €

Les Romans durs, Tome 7 - 2023 Georges Simenon

Capa mole

32.30 €

luogo dell'anima Hanni Münzer

Capa mole

12.91 €

MemoMapka matematiky 1 collegium

Capa mole

3.93 €

GDS ATENCION Y APOYO PSICOSOCIAL CDP+GDD POVEDA

Livro

18.06 €

Direccion e innovacion en la industria del fitness Jeronimo Garcia Fernandez

Capa mole

20.18 €

Observations Sur l'Etat Actuel de la France Et de l'Europe, Relativement Aux Bourbons Jaume Saint-Hilaire-J-H

Capa mole

12.41 €

Veränderte Luftverkehrsstruktur in Deutschland Kathrin Lohneis

Capa mole

42.09 €

Najkrajšie pešie prechody Daniel Kollár

Mapa

11.80 €

A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.