Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Deductive verification of object-oriented software Benjamin Weiß
Libristo kod: 01877574
Nakladnici Karlsruher Institut Fur Technologie, kolovoz 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Cijeli opis
? points 70 b
29.09 €
Vanjske zalihe Šaljemo za 8-11 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

El País de la Canela / The Land of Cinnamon Ospina / Knjiga Meki uvez
common.buy 16.46 €
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Knjiga binding.
common.buy 124.39 €
Un Maldito Maricón - A Damn Faggot Fredes / Knjiga Meki uvez
common.buy 168.24 €
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Knjiga Meki uvez
common.buy 48.39 €
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Knjiga Meki uvez
common.buy 22.12 €
Zápisník LUX fauna, flora II NEW10x7,5 cm / Proizvodi od papira Proizvodi od papira
common.buy 2.31 €
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Knjiga Tvrdi uvez
common.buy 20.30 €
Cuentos Luis Chesney Lawrence / Knjiga Meki uvez
common.buy 8.07 €
Kobane Calling Zerocalcare / Knjiga Tvrdi uvez
common.buy 21.11 €
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Knjiga Meki uvez
common.buy 26.16 €
5-Minuten-Sketche Karin Pfeiffer / Knjiga List
common.buy 13.03 €
Eine Konigin Ottilie Wildermuth / Knjiga Meki uvez
common.buy 8.18 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Knjiga Meki uvez
common.buy 50.82 €
Das kulinarische Erbe der Alpen Dominik Flammer / Knjiga Tvrdi uvez
common.buy 65.27 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Deductive verification of object-oriented software
Autor Benjamin Weiß
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 292
EAN 9783866446236
Libristo kod 01877574
Nakladnici Karlsruher Institut Fur Technologie
Težina 467
Dimenzije 170 x 244 x 16
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Weather Kristin Baird Rattini / Knjiga Meki uvez
common.buy 5.45 €
Pripremamo
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Knjiga Meki uvez
common.buy 9.69 €
Eli's Honor: Second Edition Amy Gregory / Knjiga Meki uvez
common.buy 13.03 €
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Knjiga Tvrdi uvez
common.buy 39.20 €
Category Theory in Context Riehl / Knjiga Meki uvez
common.buy 26.77 €
The Carved Pare: A Maori Mirror of the Universe David Simmons / Knjiga Meki uvez
common.buy 27.27 €
Shakespeare: Poems William Shakespeare / Knjiga Tvrdi uvez
common.buy 13.83 €
Blind Vision Peter Toh / Knjiga Tvrdi uvez
common.buy 31.22 €
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Knjiga Meki uvez
common.buy 18.18 €
Confessions of a Chelsea Boy Spencer Matthews / Knjiga Meki uvez
common.buy 19.80 €
Higher-Order Logic and Type Theory John L. Bell / Knjiga Meki uvez
common.buy 26.26 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Knjiga Meki uvez
common.buy 60.52 €
Living with Breast Cancer Jennifer A. Shin / E-knjiga Adobe ePub DRM
common.buy 27.38 €
Introduction to Dependent Types with Idris Boro Sitnikovski / Knjiga Meki uvez
common.buy 28.99 €
Crop Improvement Khalid Rehman Hakeem / Knjiga Tvrdi uvez
common.buy 205.53 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun