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 8 et le 13 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.
-
Project Management For Engineers
Neuf dès 69,48 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 135,99 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
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 €
-
Anselm Kiefer
Neuf dès 49,58 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 73,00 €
-
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 €
-
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 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Confrontations - Confrontaties
Neuf dès 68,00 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Initiation Aux Lettres Latines - Livre N° 2 - Classe De Troisième 3e - Programme De 1971
Occasion dès 49,97 €
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