227,72 €
Produit Neuf
Ou 56,93 € /mois
- Livraison : 25,00 €
- Livré entre le 2 et le 7 octobre
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 Relié - Livre Informatique
0 avis sur Data Refinement Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Pierre Bayle
Neuf dès 222,62 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
Filmer
Neuf dès 119,48 €
-
Introduction To Hilbert Spaces With Applications
Neuf dès 225,99 €
-
Common Sense
Occasion dès 115,00 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Lawrence Weiner: Displacement
Occasion dès 207,99 €
-
Diego Rivera. The Complete Murals
Neuf dès 212,44 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
A Court Of Thorns And Roses Paperback Box Set
Occasion dès 171,95 €
-
Bay Area Graffiti 80-90
1 avis
Occasion dès 325,99 €
-
Art Of Sea Of Thieves
1 avis
Neuf dès 127,99 €
-
Car Racing 1971
Neuf dès 129,00 €
Produits similaires
Présentation Data Refinement Format Relié
- Livre Informatique
Sommaire:
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation....
Détails de conformité du produit
Personne responsable dans l'UE