Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

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 70 b
29.16 €
Skladom u dodávateľa Odosielame za 8-11 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Eine Konigin Ottilie Wildermuth / Kniha Brožovaná
common.buy 8.19 €
El País de la Canela / The Land of Cinnamon Ospina / Kniha Brožovaná
common.buy 16.50 €
Zápisník LUX fauna, flora II NEW10x7,5 cm / Papierenský tovar Papierenský tovar
common.buy 1.91 €
Das kulinarische Erbe der Alpen Dominik Flammer / Kniha Pevná
common.buy 65.42 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Kniha Brožovaná
common.buy 53.57 €
Un Maldito Maricón - A Damn Faggot Fredes / Kniha Brožovaná
common.buy 175.41 €
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Kniha binding.
common.buy 130.34 €
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Kniha Brožovaná
common.buy 50.73 €
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Kniha Brožovaná
common.buy 21.16 €
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Kniha Pevná
common.buy 21.26 €
5-Minuten-Sketche Karin Pfeiffer / Kniha List
common.buy 13.76 €
Cuentos Luis Chesney Lawrence / Kniha Brožovaná
common.buy 7.69 €
Kobane Calling Zerocalcare / Kniha Pevná
common.buy 21.16 €
El Fuego Oscuro = Dark Fire Christine Feehan / Kniha Brožovaná
common.buy 7.99 €
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Kniha Brožovaná
common.buy 25.11 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

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

Mohlo by vás tiež zaujímať

Crop Improvement Khalid Rehman Hakeem / Kniha Pevná
common.buy 206.00 €
Introduction to Dependent Types with Idris Boro Sitnikovski / Kniha Brožovaná
common.buy 27.23 €
Living with Breast Cancer Jennifer A. Shin / E-kniha Adobe ePub DRM
common.buy 28.65 €
Higher-Order Logic and Type Theory John L. Bell / Kniha Brožovaná
common.buy 25.11 €
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Kniha Pevná
common.buy 37.36 €
Pripravujeme
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Kniha Brožovaná
common.buy 9.71 €
Eli's Honor: Second Edition Amy Gregory / Kniha Brožovaná
common.buy 12.35 €
Category Theory in Context Riehl / Kniha Brožovaná
common.buy 25.11 €
The Carved Pare: A Maori Mirror of the Universe David Simmons / Kniha Brožovaná
common.buy 27.34 €
Shakespeare: Poems William Shakespeare / Kniha Pevná
common.buy 13.87 €
Blind Vision Peter Toh / Kniha Pevná
common.buy 29.87 €
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Kniha Brožovaná
common.buy 17.31 €
Confessions of a Chelsea Boy Spencer Matthews / Kniha Brožovaná
common.buy 19.84 €
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Kniha Brožovaná
common.buy 13.56 €
Weather Kristin Baird Rattini / Kniha Brožovaná
common.buy 5.16 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Kniha Brožovaná
common.buy 60.66 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?