Systematic Program Design - Liu, Yanhong Annie
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre67,24 €
Produit Neuf
Ou 16,81 € /mois
- Livraison à 0,01 €
- Livré entre le 2 et le 9 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781107610798_dbm
Nos autres offres
-
71,63 €
Produit Neuf
Ou 17,91 € /mois
- Livraison : 25,00 €
- Livré entre le 15 et le 20 mai
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Systematic Program Design Format Broché - Livre Informatique
0 avis sur Systematic Program Design Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Yoshitomo Nara: Pinacoteca
Occasion dès 62,33 €
-
Pomellato
Occasion dès 80,00 €
-
La Sante Interdite
Occasion dès 45,04 €
-
Warehouse Management
Neuf dès 66,26 €
-
Dosso Dossi: Court Painter In Renaissance Ferrara
Occasion dès 55,00 €
-
Yngwie Malmsteen Anthology
1 avis
Neuf dès 49,99 €
-
Sennelier L'artisan Des Couleurs
Occasion dès 67,00 €
-
Medicine 1 - Student's Book
Occasion dès 47,99 €
-
Encyclopedia Of Hydrangeas
Occasion dès 51,25 €
-
My Favorite Thing Is Monsters
1 avis
Neuf dès 50,53 €
-
The Colouring, Bronzing And Patination Of Metals
Neuf dès 74,06 €
Occasion dès 60,00 €
-
Hilgard S Introduction To Psychology Rita L. Atkinson
Occasion dès 95,99 €
-
The Ultimate Tsa Guide
Neuf dès 40,18 €
-
The Rare Record Price Guide 2026
Neuf dès 44,66 €
-
Dc Finest: Justice Society Of America: The Plunder Of The Psycho-Pirate
Neuf dès 39,20 €
-
L'allemand B2 Pack Téléchargement - Avec 1 Livre, 1 Livret Et 1 Téléchargement Audio
Neuf dès 49,90 €
Occasion dès 62,61 €
-
Simone Pheulpin
Neuf dès 79,00 €
Occasion dès 134,22 €
-
Dc Finest: The Flash: The Fastest Man Dead
Neuf dès 39,88 €
-
World Radio Tv Handbook 2024: The Directory Of Global Broadcasting
Neuf dès 53,48 €
Occasion dès 39,54 €
-
Power Electronics
Neuf dès 55,39 €
Produits similaires
Présentation Systematic Program Design Format Broché
- Livre Informatique
Résumé :
Describes a systematic program design method, starting with specifications of computations and deriving implementations by step-wise program analysis and transformations.
Biographie:
Yanhong Annie Liu is a Professor of Computer Science at Stony Brook University. She received her BS from Peking University, MEng from Tsinghua University, and PhD from Cornell University. Her primary research has focused on general and systematic methods for program development, algorithm design, and problem solving. She has published in many top journals and conferences, served more than fifty conference chair or committee roles, and been awarded more than twenty research grants in her areas of expertise. She has taught more than twenty different courses in a wide range of Computer Science areas and presented close to a hundred research talks and invited talks at international conferences, universities, and research institutes. She received a State University of New York Chancellor's Award for Excellence in Scholarship and Creative Activities in 2010.
Sommaire:
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....
Détails de conformité du produit
Personne responsable dans l'UE