phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Deductive verification of object-oriented software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Deductive verification of object-oriented software Benjamin Weiß
Libristo kód: 01877574
Nakladateľstvo Karlsruher Institut Fur Technologie, august 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Celý popis
? points 141 b
56.86 €
Skladom u dodávateľa Odosielame za 15-20 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Die Geschichte von Peter Hase Beatrix Potter / Pevná
common.buy 6.54 €
Das kulinarische Erbe der Alpen Dominik Flammer / Pevná
common.buy 65.96 €
Confessions of a Chelsea Boy Spencer Matthews / Brožovaná
common.buy 30.06 €
Crop Improvement Khalid Rehman Hakeem / Pevná
common.buy 243.94 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Brožovaná
common.buy 53.69 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Brožovaná
common.buy 65.25 €
Eine Konigin Ottilie Wildermuth / Brožovaná
common.buy 19.32 €
Eli's Honor: Second Edition Amy Gregory / Brožovaná
common.buy 14.11 €
5-Minuten-Sketche Karin Pfeiffer / List
common.buy 13.90 €

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.

Informácie o knihe

Celý názov Deductive verification of object-oriented software
Autor Benjamin Weiß
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 292
EAN 9783866446236
Libristo kód 01877574
Nakladateľstvo Karlsruher Institut Fur Technologie
Váha 467
Rozmery 170 x 244 x 16
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet