Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Systematic Program Design

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

Yanhong Annie Liu

Language

English

Book Hardback

Libristo code: 01338439

Publishers Cambridge University Press, May 2013

A systematic program design method can help developers ensure the correctness and performance of pro... Full description

Libristo code: 01338439

275 b

40 063 Ft

In stock at our supplier Shipping in 9-15 days

Up to 30 days for returns

Customers also purchased

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

Paperback

18 915 Ft

Les Romans durs, Tome 7 - 2023 Georges Simenon

Paperback

13 835 Ft

luogo dell'anima Hanni Münzer

Paperback

5 735 Ft

MemoMapka matematiky 1 collegium

Paperback

1 546 Ft

GDS ATENCION Y APOYO PSICOSOCIAL CDP+GDD POVEDA

Book

7 723 Ft

Direccion e innovacion en la industria del fitness Jeronimo Garcia Fernandez

Paperback

9 108 Ft

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

Paperback

5 560 Ft

Veränderte Luftverkehrsstruktur in Deutschland Kathrin Lohneis

Paperback

17 659 Ft

Kdopak bydlí v ZOO Simona Dimitri

Board book

3 268 Ft

Najkrajšie pešie prechody Daniel Kollár

Map

4 671 Ft

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.