Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Formal Definition of JML in Coq

Name: Formal Definition of JML in Coq
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 06994798
Price: 74.8 EUR
Availability: InStock
Author: Hermann Lehner
ISBN: 9783838130644

Hermann Lehner

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 06994798

Založba Sudwestdeutscher Verlag Fur Hochschulschriften AG, januar 2012

The Java Modeling Language (JML) is a very rich specification language for Java. The richness of JML... Celoten opis

Koda Libristo: 06994798

182 b

74.80 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Dagobert und der Drache von Glasgow Walt Disney

Trda

22.78 €

Cahier de coloriage Pâques: Livre de coloriage de dessin I OEufs Mandalas Livre enfant paques I Idée Cadeau pour Pâques I Images de haute qualité Kenza Rodrigues

Mehka

8.03 €

Mi Imaginario Para Hablar Bien

Trda

13.14 €

Carlos Castaneda, Oportunismo Académico Y Los Psiquedélicos Años Sesenta Jay Courtney Fikes

Adobe ePub DRM

10.14 €

Jemná a komunikační motorika Jana Vyskotová

Mehka

18.16 €

Droga do piekła Przemysław Piotrowski

Mehka

9.33 €

Les Pierres qui Chantent Benjamin Sulte

Adobe ePub DRM

5.41 €

Analisi CFD del nano refrigerante Mohd. Yunus Sheikh

Mehka

33.34 €

EUSKAL ORTOGRAFIAREN HASTAPENAK I PARALDEKO LITERATURAN MUJIKA

Mehka

7.02 €

SCHOPENHAUER COMO EDUCADOR NIETZSCHE

Trda

15.85 €

Correspondencia Spinoza

Mehka

17.96 €

Ebook: Crafting and Executing Strategy Janes

Adobe ePub DRM

51.10 €

Gaston d'Orléans Bouyer

Mehka

23.79 €

Był sobie piłkarz… Część1. Niezwykłe historie zawodników nie tylko z pierwszych stron gazet Antoni Bugajski

Mehka

9.33 €

Book 046: ?Cómo Podemos Observar Y Registrar El Estado del Tiempo?: Leveled Reader, on Level Grade 1 Houghton Mifflin Harcourt

Mehka

16.56 €

ANFIBIOS Y REPTILES ANTONIO OJEA

Trda

13.65 €

Sebevrazi Antonio Di Benedetto

Mehka

7.42 €

Guía práctica de aloe vera Petra Hirscher

Mehka

18.16 €

L'Eunuque, Comedie Jean de La Fontaine

Mehka

16.06 €

Der Klick im Online-Marketing Marco Pöhler

Mehka

44.27 €

25 Myths About Diabetes Busted Anup

Digitalno

43.47 €

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.