Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Systematic Program Design

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

Yanhong Annie Liu

Limba

engleză

Carte Copertă tare

Codul Libristo: 01338439

Editura Cambridge University Press, mai 2013

A systematic program design method can help developers ensure the correctness and performance of pro... Descrierea completă

Codul Libristo: 01338439

267 b

579.58 lei

În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

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

Carte broșată

271.73 lei

Les Romans durs, Tome 7 - 2023 Georges Simenon

Carte broșată

205.02 lei

luogo dell'anima Hanni Münzer

Carte broșată

85.12 lei

MemoMapka matematiky 1 collegium

Carte broșată

22.99 lei

GDS ATENCION Y APOYO PSICOSOCIAL CDP+GDD POVEDA

Carte

114.89 lei

Direccion e innovacion en la industria del fitness Jeronimo Garcia Fernandez

Carte broșată

131.54 lei

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

Carte broșată

80.23 lei

Veränderte Luftverkehrsstruktur in Deutschland Kathrin Lohneis

Carte broșată

262.05 lei

Najkrajšie pešie prechody Daniel Kollár

Hartă

69.30 lei

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.