Contract Checking for Feldspar - Lashkari, Fatemeh
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre94,49 €
Produit Neuf
Ou 23,62 € /mois
- Livraison : 25,00 €
- Livré entre le 10 et le 17 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 Contract Checking For Feldspar Format Broché - Livre Informatique
0 avis sur Contract Checking For Feldspar Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Project Management For Engineers
Neuf dès 69,48 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 49,89 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Neuf dès 64,00 €
Occasion dès 109,50 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 128,99 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
The Mirabelle Cookbook
Occasion dès 94,71 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Indian Jewelry Making Volume 1
Occasion dès 110,00 €
-
Anselm Kiefer
Neuf dès 49,58 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Manuel D'arabe En Ligne Apprentissage En Autonomie
Occasion dès 50,00 €
-
Medieval Military Technology, Second Edition
Neuf dès 62,76 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 52,06 €
Produits similaires
Présentation Contract Checking For Feldspar Format Broché
- Livre Informatique
Résumé :
One way to improve software reliability is to detect errors early and report them precisely during program development...
Sommaire:
the use of contracts is one approach to software verification. A desired property of an expression is specified with a contract. A contract language should create an informative error message to report the violation and the violator when a contract fails. In this book, a contract language is introduced and implemented for three libraries and also for some practical functions of the functional language Feldspar. Feldspar is a domain specific language (DSL) for Digital Signal Processing, embedded in Haskell, and generating C code.Contract checking can be done statically or dynamically. Static checking concentrates on complete checking of limited specifications at compile time. Dynamic checking focuses on incomplete checking of expressive specifications, and detects errors during run time. Contracts that are written in this thesis are checked with a dynamic contract checker. Furthermore, they are tested with QuickCheck, to ensure that contracts satisfy given properties. The result of these tests shows that the contracts hold their properties....
Détails de conformité du produit
Personne responsable dans l'UE