Imagen 1 de 1

¿Quieres vender uno?

Véndelo tú mismo

A Formal Definition of JML in Coq.New 9783838130644 Fast Free Shipping<|

Estado:

Nuevo

Cantidad:

5 disponibles

Precio:

GBP 107,88

Aproximadamente127,63 EUR

Respira tranquilidad. Se aceptan devoluciones.

Envío:

Puede que el vendedor no envíe a Estados Unidos. Para más información sobre las opciones de envío, consulta los detalles en la descripción del artículo o contacta con el vendedor. Ver detallespara el envío

Ubicado en: South East, Reino Unido

Entrega:

Variable

Devoluciones:

30 días para devoluciones. El comprador paga el envío de la devolución. Ver detalles- Más información sobre devoluciones

Pagos:

Compra con confianza

Garantía al cliente de eBay

Si no recibes el artículo que has pedido, te devolvemos el dinero.

Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña

Información del vendedor

baham_books (2238000)
99,1% de votos positivos

Registrado como vendedor profesional

Informar sobre este artículo (se abre en una nueva ventana o pestaña)

El vendedor asume toda la responsabilidad de este anuncio.

N.º de artículo de eBay:296183993608

Características del artículo

Estado: Nuevo: Libro nuevo, sin usar y sin leer, que está en perfecto estado; incluye todas las páginas sin ...

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

Author: Lehner Hermann

Publisher: Sudwestdeutscher Verlag Fur Hochschulschriften A&G

Item Width: 152mm

Subject: Engineering & Technology

Item Weight: 349g

Number of Pages: 236 Pages

Acerca de este producto

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

Author

Lehner Hermann

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

Title_Author

Lehner Hermann

Descripción del artículo del vendedor

Información de vendedor profesional

WRAP Ltd.

Mubin Ahmed

Unit 4

119 Loverock Road

Reading

Berkshire

RG30 1DZ

United Kingdom

Mostrar información de contacto

:onoféleT60358080080

:ocinórtcele oerroCmoc.aidemtumahab@yabe

Número de IVA:

GB 724498118

Número de inscripción en el Registro Mercantil:

03800600

Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.

Número CRN:

03800600

El vendedor asume toda la responsabilidad de este anuncio.

N.º de artículo de eBay:296183993608

Envío y manipulación

El vendedor no ha especificado una forma de envío a Estados Unidos. Contacta con el vendedor y solicita el envío a tu ubicación.

Ubicación del artículo:

South East, Reino Unido

Realiza envíos a:

Australia, Canadá, Japón, Reino Unido, Unión Europea

Excluye:

Afganistán, Alemania, Austria, Federación Rusa, Libia, Nauru, Somalia, Suiza, Ucrania, Yemen

Tiempo de manipulación

Normalmente, se enviará en un plazo de 5 días laborables desde que se haga efectivo el pago.

Impuestos

Puede que se apliquen impuestos durante el pago y envío. Más informaciónMás información sobre el pago de impuestos en las compras de eBay.

Impuesto de ventas del artículo 296183993608

El vendedor carga un impuesto de ventas por los artículos enviados a los siguientes estados:

Estado o provincia	Porcentaje de impuesto de ventas

* El impuesto se aplica al subtotal más gastos de envío y manipulación solo en estas comunidades

Política de devoluciones

Cuando recibas el artículo, ponte en contacto con el vendedor en un plazo de	Gastos de envío de la devolución
30 días	El comprador paga el envío de la devolución

Pulsa aquíaquí para obtener más información sobre devoluciones. En las transacciones que cumplan los requisitos necesarios, estarás cubierto por la Garantía al cliente de eBay si recibiste un artículo que es distinto de la descripción que aparece en el anuncio.

El comprador es responsable de los gastos de envío de la devolución.

Detalles de la política de devoluciones
Se aceptan devoluciones

Detalles de pago

Formas de pago

Nota: como resultado de la valoración de riesgo del comprador, es posible que algunas formas de pago no estén disponibles en el proceso de Pago y envío.