Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Deductive verification of object-oriented software Benjamin Weiß
Koda Libristo: 01877574
Založba Karlsruher Institut Fur Technologie, avgust 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Celoten opis
? points 66 b
27.40 €
Na zalogi pri dobavitelju Odposlali bomo v 8-11 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Eine Konigin Ottilie Wildermuth / Knjiga Mehka
common.buy 7.68 €
El País de la Canela / The Land of Cinnamon Ospina / Knjiga Mehka
common.buy 15.37 €
Zápisník LUX fauna, flora II NEW10x7,5 cm / Pisarniški material Pisarniški material
common.buy 2.22 €
Das kulinarische Erbe der Alpen Dominik Flammer / Knjiga Trda
common.buy 61.29 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Knjiga Mehka
common.buy 48.24 €
Un Maldito Maricón - A Damn Faggot Fredes / Knjiga Mehka
common.buy 161.74 €
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Knjiga binding.
common.buy 118.85 €
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Knjiga Mehka
common.buy 46.22 €
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Knjiga Mehka
common.buy 21.13 €
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Knjiga Trda
common.buy 19.31 €
5-Minuten-Sketche Karin Pfeiffer / Knjiga Preglednica
common.buy 12.43 €
Cuentos Luis Chesney Lawrence / Knjiga Mehka
common.buy 7.68 €
Kobane Calling Zerocalcare / Knjiga Trda
common.buy 19.82 €
El Fuego Oscuro = Dark Fire Christine Feehan / Knjiga Mehka
common.buy 7.27 €
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Knjiga Mehka
common.buy 25.08 €

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Deductive verification of object-oriented software
Avtor Benjamin Weiß
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2014
Število strani 292
EAN 9783866446236
Koda Libristo 01877574
Založba Karlsruher Institut Fur Technologie
Teža 467
Mere 170 x 244 x 16
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Crop Improvement Khalid Rehman Hakeem / Knjiga Trda
common.buy 194.52 €
Introduction to Dependent Types with Idris Boro Sitnikovski / Knjiga Mehka
common.buy 27.20 €
Living with Breast Cancer Jennifer A. Shin / E-knjiga Adobe ePub DRM
common.buy 25.99 €
Higher-Order Logic and Type Theory John L. Bell / Knjiga Mehka
common.buy 25.08 €
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Knjiga Trda
common.buy 37.32 €
Kmalu
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Knjiga Mehka
common.buy 9.09 €
Eli's Honor: Second Edition Amy Gregory / Knjiga Mehka
common.buy 12.33 €
Category Theory in Context Riehl / Knjiga Mehka
common.buy 25.08 €
The Carved Pare: A Maori Mirror of the Universe David Simmons / Knjiga Mehka
common.buy 26.09 €
Shakespeare: Poems William Shakespeare / Knjiga Trda
common.buy 12.84 €
Blind Vision Peter Toh / Knjiga Trda
common.buy 29.83 €
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Knjiga Mehka
common.buy 17.29 €
Confessions of a Chelsea Boy Spencer Matthews / Knjiga Mehka
common.buy 19.82 €
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Knjiga Mehka
common.buy 12.74 €
Weather Kristin Baird Rattini / Knjiga Mehka
common.buy 5.15 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Knjiga Mehka
common.buy 57.04 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?