Zdjęcie 1 z 1
A Formal Definition of JML in Coq.New 9783838130644 Fast Free Shipping<|
Stan:
Dostępne: 5
Wysyłka:
Może nie być wysyłki do: Stany Zjednoczone. Zobacz opis przedmiotu lub skontaktuj się ze sprzedawcą w sprawie opcji wysyłki. Zobacz szczegółydla wysyłki
Znajduje się w: South East, Wielka Brytania
Dostawa:
Czas zmienny
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów
Płatności:
Kupuj bez obaw
Informacje o sprzedawcy
- 99,1% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 296183993608
Parametry przedmiotu
- Stan
- 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
O tym produkcie
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
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Numer VAT (NIP):
- GB 724498118
Numer rejestracyjny (REGON):
- 03800600
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Numer CRN:
- 03800600
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 296183993608
Wysyłka i obsługa
Sprzedawca nie określił metody wysyłki do: Stany Zjednoczone. Skontaktuj się ze sprzedawcą i poproś o wysyłkę do Twojej lokalizacji.
Lokalizacja przedmiotu:
South East, Wielka Brytania
Wysyłka do:
Australia, Japonia, Kanada, Unia Europejska, Wielka Brytania
Wykluczenia:
Afganistan, Austria, Jemen, Libia, Nauru, Niemcy, Rosja, Somalia, Szwajcaria, Ukraina
| Czas na wysłanie |
|---|
| Zwykle wysyłam przesyłkę w ciągu 5 dni roboczych po otrzymaniu rozliczonej płatności. |
| Podatki |
|---|
| Podczas realizacji transakcji mogą zostać naliczone podatki. Dowiedz się więcejDowiedz się więcej o płaceniu podatku za zakupy na eBay. |
Podatek od sprzedaży dla przedmiotu nr 296183993608
Podatek od sprzedaży dla przedmiotu nr 296183993608
Sprzedawca nalicza podatek od sprzedaży dla przedmiotów wysyłanych do następujących stanów:
| Stan | Stawka podatku od sprzedaży |
|---|
Warunki zwrotów
| Po otrzymaniu przedmiotu skontaktuj się ze sprzedawcą w ciągu | Wysyłka zwrotna |
|---|---|
| 30 dni | Za wysyłkę zwrotną płaci kupujący |
Kupujący jest odpowiedzialny za opłacenie kosztów wysyłki zwrotnej.
| Szczegóły warunków zwrotów |
|---|
| Zwroty są przyjmowane |
Szczegóły dotyczące płatności
Formy płatności
Popularne kategorie z tego Sklepu
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (2 902 365)
a***t (112)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Fast delivery
a***t (112)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Fast delivery
a***t (112)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Fast delivery