Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Karlsruher Institut Fur Technologie, srpen 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Celý popis
? points 70 b
704 Kč
Skladem u dodavatele Odesíláme za 8-11 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

El País de la Canela / The Land of Cinnamon Ospina / Kniha Brožovaná
common.buy 399 Kč
Un Maldito Maricón - A Damn Faggot Fredes / Kniha Brožovaná
common.buy 3 910 Kč
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Kniha binding.
common.buy 3 144 Kč
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Kniha Brožovaná
common.buy 1 221 Kč
Zápisník LUX fauna, flora II NEW10x7,5 cm / Papírenské zboží Papírenské zboží
common.buy 49 Kč
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Kniha Brožovaná
common.buy 511 Kč
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Kniha Pevná
common.buy 465 Kč
Cuentos Luis Chesney Lawrence / Kniha Brožovaná
common.buy 186 Kč
Kobane Calling Zerocalcare / Kniha Pevná
common.buy 510 Kč
El Fuego Oscuro = Dark Fire Christine Feehan / Kniha Brožovaná
common.buy 172 Kč
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Kniha Brožovaná
common.buy 554 Kč
5-Minuten-Sketche Karin Pfeiffer / Kniha List
common.buy 331 Kč
Eine Konigin Ottilie Wildermuth / Kniha Brožovaná
common.buy 198 Kč
Vertragsfolgen ohne Vertrag. Michael Litterer / Kniha Brožovaná
common.buy 1 548 Kč
Das kulinarische Erbe der Alpen Dominik Flammer / Kniha Pevná
common.buy 1 582 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Deductive verification of object-oriented software
Autor Benjamin Weiß
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 292
EAN 9783866446236
Libristo kód 01877574
Nakladatelství Karlsruher Institut Fur Technologie
Váha 467
Rozměry 170 x 244 x 16
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Living with Breast Cancer Jennifer A. Shin / E-kniha Adobe ePub DRM
common.buy 702 Kč
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Kniha Pevná
common.buy 903 Kč
Připravujeme
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Kniha Brožovaná
common.buy 220 Kč
CLIL PROJECTS NIVEL III EUROPE ED19 VVAA / Kniha Brožovaná
common.buy 812 Kč
Eli's Honor: Second Edition Amy Gregory / Kniha Brožovaná
common.buy 299 Kč
Net Zero Energy Buildings (NZEB) Attia / Kniha Brožovaná
common.buy 3 185 Kč
Top
Category Theory in Context Riehl / Kniha Brožovaná
common.buy 568 Kč
Higher-Order Logic and Type Theory John L. Bell / Kniha Brožovaná
common.buy 577 Kč
The Carved Pare: A Maori Mirror of the Universe David Simmons / Kniha Brožovaná
common.buy 631 Kč
Shakespeare: Poems William Shakespeare / Kniha Pevná
common.buy 382 Kč
Weather Kristin Baird Rattini / Kniha Brožovaná
common.buy 125 Kč
Blind Vision Peter Toh / Kniha Pevná
common.buy 721 Kč
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Kniha Brožovaná
common.buy 419 Kč
Confessions of a Chelsea Boy Spencer Matthews / Kniha Brožovaná
common.buy 450 Kč
Manual of Instruction for the Volunteers and Militia of the United States William Gilham / Kniha Brožovaná
common.buy 336 Kč
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Kniha Brožovaná
common.buy 327 Kč
Introduction to Dependent Types with Idris Boro Sitnikovski / Kniha Brožovaná
common.buy 658 Kč
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Kniha Brožovaná
common.buy 1 466 Kč
Giant Sticker Unicorn Fun / Kniha Brožovaná
common.buy 219 Kč
Crop Improvement Khalid Rehman Hakeem / Kniha Pevná
common.buy 4 977 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?