6th Refinement Workshop -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre82,68 €
Produit Neuf
Ou 20,67 € /mois
- Livraison : 3,99 €
- Livré entre le 23 et le 29 juillet
Nos autres offres
-
50,00 €
Occasion · Bon État
Ou 12,50 € /mois
- Livraison : 0,00 €
- Livré entre le 6 et le 11 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 -
82,68 €
Produit Neuf
Ou 20,67 € /mois
- Livraison : 3,99 €
- Livré entre le 23 et le 29 juillet
Voir le détail de l'annonce -
89,06 €
Produit Neuf
Ou 22,27 € /mois
- Livraison à 0,01 €
- Livré entre le 24 juillet et le 5 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540198864_dbm
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 6th Refinement Workshop Format Broché - Livre Informatique
0 avis sur 6th Refinement Workshop Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Check-List Of The Fishes Of The Eastern Tropical Atlantic, Clofeta
Occasion dès 31,00 €
-
Processing Of Oceanographic Station Data
Occasion dès 45,00 €
-
Check-List Of The Fishes Of The Eastern Tropical Atlantic Vol 1 (Tome 1)
Occasion dès 31,00 €
-
Geometry
Occasion dès 50,00 €
-
Ichthyology
Occasion dès 50,00 €
-
Scientific Diving: A General Code Of Practice
Occasion dès 60,00 €
-
Earthquake Spectra: The Great Sumatra Earthquakes And Indian Ocean Tsunamis Of 26 December 2004 And 28 March 2005 Reconnaissance Report: Special Issue Iii (Earth Sciences Series)
Occasion dès 50,00 €
-
Oceanographers And The Cold War
Occasion dès 70,00 €
Produits similaires
Présentation 6th Refinement Workshop Format Broché
- Livre Informatique
Sommaire:
Invited Papers.- Using Refinement to Understand Architectural Connection.- Formal Semantics for Ward and Mellor's Transformation Schemas.- Submitted Papers.- Improving the Process of System Specification and Refinement in B.- Testing and Safety Analysis of AM (Abstract Machine) Specifications.- Formal Development of Authentication Protocols.- Deriving Language Recognition Algorithms. A Case Study in Combining Program Specialisation and Data Refinement.- Program Refinement by Theorem Prover.- Co-Refinement.- Metavariables and Conditional Refinements in the Refinement Calculus.- Machine Code Programs Are Predicates Too.- Laws of Parallel Programming with Shared Variables.- Environment-Based Development of Reactive Systems.- Refinement in Object-Oriented Specification Languages.- Operation Semantics with Read and Write Frames.- Proof Obligations for Real-Time Refinement.- Author Index.
Détails de conformité du produit
Personne responsable dans l'UE