Predicate Calculus and Program Semantics - Dijkstra, Edsger W.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre118,28 €
Produit Neuf
Ou 29,57 € /mois
- Livraison à 0,01 €
- Livré entre le 15 et le 27 juillet
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461279242_dbm
Nos autres offres
-
140,60 €
Produit Neuf
Ou 35,15 € /mois
- Livraison : 3,99 €
- Livré entre le 15 et le 21 juillet
Voir le détail de l'annonce -
134,67 €
Produit Neuf
Ou 33,67 € /mois
- Livraison : 25,00 €
- Livré entre le 29 juillet et le 3 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.
Voir le détail de l'annonce
- 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 Predicate Calculus And Program Semantics Format Broché - Livre Informatique
0 avis sur Predicate Calculus And Program Semantics Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
The Ghost In The Shell Book
Neuf dès 68,51 €
-
Microeconomics, Global Edition
Neuf dès 145,74 €
Occasion dès 75,90 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 94,54 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 103,50 €
-
The Art Of Jewelry Design
1 avis
Neuf dès 66,75 €
Occasion dès 66,00 €
-
Official Guide To Oet
Neuf dès 69,41 €
-
Photographs
Occasion dès 80,09 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
-
Numicon: Homework Activities Intervention Resource - 'maths Bag' Of Resources Per Pupil
Neuf dès 69,96 €
-
Singing With Your Whole Self
Neuf dès 64,25 €
-
A Primer For Emotionally Focused Individual Therapy (Efit)
Neuf dès 61,09 €
-
Car Racing 1965
1 avis
Neuf dès 109,00 €
-
The Princeton Companion To Applied Mathematics
1 avis
Neuf dès 128,31 €
-
The Lord Of The Rings
Neuf dès 126,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
Origami Design Secrets
Neuf dès 138,63 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
2 avis
Neuf dès 129,00 €
Occasion dès 154,80 €
Produits similaires
Présentation Predicate Calculus And Program Semantics Format Broché
- Livre Informatique
Sommaire:
1. On structures.- 2. On substitution and replacement.- 3. On functions and equality.- 4. On our proof format.- 5. The calculus of boolean structures.- 6. Some properties of predicate transformers.- 7. Semantics of straight-line programs.- 8. Equations in predicates and their extreme solutions.- 9. Semantics of repetitions.- 10. Operational considerations.- 11. Converse predicate transformers.- 12. The strongest postcondition.
Détails de conformité du produit
Personne responsable dans l'UE