A Practical Theory of Programming - Hehner, Eric C. R.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre71,50 €
Produit Neuf
Ou 17,88 € /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;ria9781461264446_dbm
Nos autres offres
-
106,34 €
Produit Neuf
Ou 26,59 € /mois
- Livraison : 25,00 €
- Livré entre le 15 et le 20 mai
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- 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 A Practical Theory Of Programming Format Broché - Livre Informatique
0 avis sur A Practical Theory Of Programming 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 €
-
Complete Ielts Bands 6.5-7.5 Workbook Without Answers With Audio Cd
Neuf dès 38,71 €
-
Warehouse Management
Neuf dès 66,26 €
-
Storm Chasing Handbook, 2nd. Ed.
Neuf dès 64,46 €
-
Dosso Dossi: Court Painter In Renaissance Ferrara
Occasion dès 55,00 €
-
Pucci De Rossi: '71-'96
Occasion dès 49,70 €
-
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 €
-
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 €
-
Dc Finest: Justice Society Of America: The Plunder Of The Psycho-Pirate
Neuf dès 39,20 €
-
Los Detectives Salvajes (Coleccion Compactos)
Occasion dès 87,99 €
-
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 €
Produits similaires
Présentation A Practical Theory Of Programming Format Broché
- Livre Informatique
Résumé :
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications. Beginning with preparatory material in logic, numbers, sets, lists, functions and relations, the book advances further into program theory, the heart of the book. Subsequent chapters may be selected or omitted according to course emphasis. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field. All technical terms are explained and then demonstrated in the book wherever possible. No advanced mathematical knowledge or programming language is assumed. The book contains numerous exercises and worked-out solutions for specific exercises. Transparency masters and solutions for the remaining exercises are available from the author.
Sommaire:
This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is simpler and more comprehensive than the current theories to date. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field....
Détails de conformité du produit
Personne responsable dans l'UE