Photo 1/1
Une définition formelle de JML en coq. Neuf 97838130644 livraison rapide gratuite<|
État :
5 disponibles
Livraison :
Livraison peut-être pas offerte vers : États-Unis. Consultez la description de l'objet ou contactez le vendeur pour en savoir plus sur les options de livraison. Afficher les détailspour la livraison
Lieu où se trouve l'objet : South East, Royaume-Uni
Délai de livraison :
Varie
Retours :
Retour sous 30 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours
Paiements :
Achetez en toute confiance
Détails sur le vendeur
- 99,1% d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :296183993608
Caractéristiques de l'objet
- État
- PublishedOn
- 2012-01-20
- Title
- A Formal Definition of JML in Coq
- ISBN
- 9783838130644
- Publication Year
- 2012
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- A Formal Definition of Jml in Coq
- Item Height
- 229mm
- Publisher
- Sudwestdeutscher Verlag Fur Hochschulschriften A&G
- Item Width
- 152mm
- Subject
- Engineering & Technology
- Item Weight
- 349g
- Number of Pages
- 236 Pages
À propos de ce produit
Product Information
The Java Modeling Language (JML) is a very rich specification language for Java. The richness of JML leads to many different interpretations of the same specification constructs in different applications. This work presents a formalization of JML in the theorem prover Coq to provide an exact, unambiguous meaning for JML constructs. The formalization not only gives a mathematically precise definition of the language, but also enables formal meta-reasoning about the language itself, its applications, and proposed extensions. In JML, frame conditions are expressed by the assignable clause. This work highlights the first algorithm that checks assignable clauses at runtime in the presence of dynamic data groups as a means of data abstraction. The algorithm performs very well on realistic and large data structures by lazily computing the locations denoted by the data groups. As an important contribution to runtime assertion checking, the equivalence of the algorithm to the JML semantics has been formally proved in Coq. This shows not only correctness and completeness of the algorithm to check assignable clauses, but also the usefulness and expressiveness of the JML formalization.
Product Identifiers
Publisher
Sudwestdeutscher Verlag Fur Hochschulschriften A&G
ISBN-13
9783838130644
eBay Product ID (ePID)
113186716
Product Key Features
Publication Name
A Formal Definition of Jml in Coq
Format
Paperback
Language
English
Subject
Engineering & Technology
Publication Year
2012
Type
Textbook
Number of Pages
236 Pages
Dimensions
Item Height
229mm
Item Width
152mm
Item Weight
349g
Additional Product Features
Description de l'objet fournie par le vendeur
Informations sur le vendeur professionnel
WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Numéro de TVA :
- GB 724498118
Numéro d'immatriculation de la société :
- 03800600
Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.
Numéro CRN :
- 03800600
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :296183993608
Livraison et expédition
Le vendeur n'a indiqué aucun mode de livraison vers le pays suivant : États-Unis. Contactez le vendeur pour lui demander d'envoyer l'objet à l'endroit où vous vous trouvez.
Lieu où se trouve l'objet :
South East, Royaume-Uni
Destination :
Australie, Canada, Japon, Royaume-Uni, Union européenne
Exclus :
Afghanistan, Allemagne, Autriche, Libye, Nauru, Russie, Somalie, Suisse, Ukraine, Yémen
Délai d'expédition |
---|
Envoi sous 5 jours ouvrés après réception du paiement. |
Taxes |
---|
Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay |
Taxe de vente pour l'objet n°296183993608
Taxe de vente pour l'objet n°296183993608
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Conditions de retour
Une fois l'objet reçu, contactez le vendeur dans un délai de | Frais de retour |
---|---|
30 jours | L'acheteur paie les frais de retour |
L'acheteur doit payer les frais de retour.
Détails des conditions de retour |
---|
Retours acceptés |
Détails du paiement
Modes de paiement
Catégories populaires de cette Boutique
Inscrit comme vendeur professionnel
Évaluations en tant que vendeur (2.902.481)
e***0 (1465)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Great value 👍
-***a (72)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
My kid loved it
o***t (1087)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Book was cheap enough but had a crusty mucky mark on it which isn't a good luck.