Programs, Recursion and Unbounded Choice - Hesselink, Wim H.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre83,40 €
Produit Neuf
Ou 20,85 € /mois
- Livraison : 25,00 €
- Livré entre le 7 et le 12 août
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 Programs, Recursion And Unbounded Choice Format Broché - Livre Informatique
0 avis sur Programs, Recursion And Unbounded Choice Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Final Fantasy X 25th Anniversary Visual Art Book -Eternal Spira-
Neuf dès 41,99 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Manuel D'arabe En Ligne Apprentissage En Autonomie
Occasion dès 46,39 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 52,06 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
History For The Ib Diploma Paper 3 The Soviet Union And Post-Soviet Russia (1924-2000) Coursebook With Digital Access (2 Years)
Neuf dès 44,39 €
-
The Mirabelle Cookbook
Occasion dès 98,08 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
The Hobbit And The Lord Of The Rings
Occasion dès 43,02 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Initiation Aux Lettres Latines - Livre N° 2 - Classe De Troisième 3e - Programme De 1971
Occasion dès 49,97 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Twilight
1 avis
Occasion dès 47,02 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 73,00 €
-
Maps
Neuf dès 46,70 €
-
500+ Ukrainian Verbs
Neuf dès 69,69 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
Produits similaires
Présentation Programs, Recursion And Unbounded Choice Format Broché
- Livre Informatique
Sommaire:
List of symbols; Introduction; 1. Weakest preconditions; 2. Annotation, recursion and repetition; 3. Healthiness laws; 4. Semantics of recursion; 5. Ramifications; 6. Relational semantics; 7. Determinacy and disjunctivity; 8. Syntactic criteria; 9. Operational semantics of recursion; 10. Procedure substitutions; 11. Induction and semantic equality; 12. Induction and refinement; 13. The strong preorder; 14. Temporal operators; 15. Predicative fairness; 16. Solutions of exercises; References; Index of concepts and identifiers.
Détails de conformité du produit
Personne responsable dans l'UE