Data Refinement - de Roever, Willem-Paul
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre105,26 €
Produit Neuf
Ou 26,32 € /mois
- Livraison : 25,00 €
- Livré entre le 30 juillet et le 4 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 Data Refinement Format Broché - Livre Informatique
0 avis sur Data Refinement 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 €
-
Microeconomics, Global Edition
Neuf dès 145,74 €
Occasion dès 75,90 €
-
Collecting Antique Meerschaum Pipes
Neuf dès 55,84 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
The French Army And The First World War
Neuf dès 55,68 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Motel Fetish
1 avis
Occasion dès 59,00 €
-
Official Guide To Oet
Neuf dès 69,41 €
-
Agitator
Occasion dès 58,00 €
-
Picasso And Portraiture
Occasion dès 64,18 €
-
Photographs
Occasion dès 80,09 €
-
The Ghost In The Shell Book
Neuf dès 68,51 €
-
Anglais Débutants À B2 - Pack Audio (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 52,72 €
-
Ghost In The Shell
Neuf dès 55,04 €
-
Numicon: Homework Activities Intervention Resource - 'maths Bag' Of Resources Per Pupil
Neuf dès 69,96 €
-
Soft Power And Great-Power Competition
Neuf dès 58,89 €
-
L'anglais À L'entrée Des Grandes Écoles N° 5 - Épreuves Corrigées Des Concours 1973-1977
Occasion dès 55,50 €
-
The Art Of Jewelry Design
1 avis
Neuf dès 66,75 €
Occasion dès 66,00 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
Produits similaires
Présentation Data Refinement Format Broché
- Livre Informatique
Sommaire:
Part I. Theory: 1. Introduction to data refinement; 2. Simulation as a proof method for data refinement; 3. Relations and recursion; 4. Properties of simulation; 5. Notation and semantics; 6. A Hoare logic; 7. Simulation and Hoare logic; 8. An extension to total correctness; 9. Simulation and total correctness; 10. Refinement calculus; Part II. Applications: 11. Reynolds' method; 12. VDM; 13. Z, Hehner's method and Back's refinement calculus; 14. Refinement methods due to Abadi & Lamport and Lynch. Appendix A. An introduction to Hoare logic; Appendix B. A primer on ordinals and transfinite induction; Appendix C. Notational convention; Appendix D. Precedences; Bibliography; Index.
Détails de conformité du produit
Personne responsable dans l'UE