Afbeelding 1 van 1
A Formal Definition of JML in Coq.New 9783838130644 Fast Free Shipping<|
Objectstaat:
5 beschikbaar
Verzendkosten:
Verzendt mogelijk niet naar Verenigde Staten. Lees de objectbeschrijving of neem contact op met de verkoper voor verzendopties. Details bekijkenvoor verzending
Bevindt zich in: South East, Verenigd Koninkrijk
Levering:
Varieert
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 99,1% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:296183993608
Specificaties
- Objectstaat
- 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
Over dit product
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
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Btw-nummer:
- GB 724498118
Handelsregistratienummer:
- 03800600
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:296183993608
Verzending en verwerking
De verkoper heeft geen verzendmethode opgegeven voor Verenigde Staten. Neem contact op met de verkoper en vraag om verzending naar uw locatie.
Objectlocatie:
South East, Verenigd Koninkrijk
Wordt verzonden naar:
Australië, Canada, Europese Unie, Japan, Verenigd Koninkrijk
Uitgesloten:
Afghanistan, Duitsland, Jemen, Libië, Nauru, Oekraïne, Oostenrijk, Russische Federatie, Somalië, Zwitserland
| Verwerkingstijd |
|---|
| Wordt doorgaans binnen 5 werkdagen na ontvangst van betaling verzonden. |
| Belasting |
|---|
| Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen. |
Btw voor objectnr.296183993608
Btw voor objectnr.296183993608
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
| Staat/provincie | Btw-tarief |
|---|
Retourbeleid
| Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Kosten voor retourzending |
|---|---|
| 30 dagen | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
| Details retourbeleid |
|---|
| Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (2.860.458)
s***8 (1122)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Great book
2***l (57)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
good service
o***i (598)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Great product with excellent service