ACS 6.49 DHL courier 9.99 Speedex 5.99 Σημείο ACS 6.49 Elta 3.99 Σημείο Elta 3.99 Box Now 3.99

Systematic Program Design

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Σκληρόδετη βιβλιοδεσία
Βιβλίο Systematic Program Design Yanhong Annie Liu
Κωδικός Libristo: 01338439
ΕΕκδοτικός οίκος Cambridge University Press, Μάιος 2013
A systematic program design method can help developers ensure the correctness and performance of pro... Πλήρης περιγραφή
? points 295 b
117.74
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 15-20 ημέρες

30 ημέρες για την επιστροφή των προϊόντων


Μπορεί να σας ενδιαφέρει


MemoMapka matematiky 1 collegium / Χαρτόδετη βιβλιοδεσία
common.buy 4.33
Najkrajšie pešie prechody Daniel Kollár / Χάρτης
common.buy 12.80
Art/Porn Kelly Dennis / Σκληρόδετη βιβλιοδεσία
common.buy 158.60
Philosophical Foundations of the Nature of Law Wil Waluchow / Σκληρόδετη βιβλιοδεσία
common.buy 203.60
Language, Identity and Study Abroad Jane Jackson / Χαρτόδετη βιβλιοδεσία
common.buy 37.73
ΠΡΟΕΤΟΙΜΑΖΟΥΜΕ
Sir Cyril Cyril Taylor / Χαρτόδετη βιβλιοδεσία
common.buy 14.62
Was It Something I Said? Jess McCann / Χαρτόδετη βιβλιοδεσία
common.buy 14.22
Zeitreise 4. Ausgabe Hessen Realschule, m. 1 CD-ROM / Χαρτόδετη βιβλιοδεσία
common.buy 28.95
One Hundred Victories Linda Robinson / Χαρτόδετη βιβλιοδεσία
common.buy 15.23
Internal and External Stabilization of Linear Systems with Contraints Ali Saberi / Σκληρόδετη βιβλιοδεσία
common.buy 194.62
Alto Saxophone Play-Along / Χαρτόδετη βιβλιοδεσία
common.buy 21.18

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.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Systematic Program Design
Συγγραφέας Yanhong Annie Liu
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Σκληρόδετη βιβλιοδεσία
Ημερομηνία έκδοσης 2013
Αριθμός σελίδων 252
EAN 9781107036604
ISBN 1107036607
Κωδικός Libristo 01338439
ΕΕκδοτικός οίκος Cambridge University Press
Βάρος 55
Διαστάσεις 158 x 240 x 20
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo