phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Deductive verification of object-oriented software

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 141 b
56.08 €
Vanjske zalihe Šaljemo za 15-20 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Die Geschichte von Peter Hase Beatrix Potter / Tvrdi uvez
common.buy 6.45 €
Das kulinarische Erbe der Alpen Dominik Flammer / Tvrdi uvez
common.buy 65.06 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Meki uvez
common.buy 52.95 €
Confessions of a Chelsea Boy Spencer Matthews / Meki uvez
common.buy 29.14 €
Crop Improvement Khalid Rehman Hakeem / Tvrdi uvez
common.buy 240.48 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Meki uvez
common.buy 64.35 €
Eine Konigin Ottilie Wildermuth / Meki uvez
common.buy 19.06 €
5-Minuten-Sketche Karin Pfeiffer / List
common.buy 13.71 €
Eli's Honor: Second Edition Amy Gregory / Meki uvez
common.buy 13.91 €

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.

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

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