Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Język AngielskiAngielski
Książka Miękka
Książka Deductive verification of object-oriented software Benjamin Weiß
Kod Libristo: 01877574
Wydawnictwo Karlsruher Institut Fur Technologie, sierpień 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Cały opis
? points 71 b
123.37 zł
Dostępna u dostawcy Wysyłamy za 8-11 dni

30 dni na zwrot towaru

Klienci kupili także

El País de la Canela / The Land of Cinnamon Ospina / Książka Miękka
common.buy 74.66 zł
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Książka binding.
common.buy 550.94 zł
Un Maldito Maricón - A Damn Faggot Fredes / Książka Miękka
common.buy 741.57 zł
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Książka Miękka
common.buy 214.48 zł
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Książka Miękka
common.buy 93.90 zł
Zápisník LUX fauna, flora II NEW10x7,5 cm / Artykuły papiernicze Artykuły papiernicze
common.buy 9.81 zł
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Książka Twarda
common.buy 90.09 zł
Cuentos Luis Chesney Lawrence / Książka Miękka
common.buy 34.27 zł
Kobane Calling Zerocalcare / Książka Twarda
common.buy 89.39 zł
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Książka Miękka
common.buy 111.04 zł
5-Minuten-Sketche Karin Pfeiffer / Książka Karta
common.buy 58.12 zł
Eine Konigin Ottilie Wildermuth / Książka Miękka
common.buy 34.67 zł
Vertragsfolgen ohne Vertrag. Michael Litterer / Książka Miękka
common.buy 226.50 zł
Das kulinarische Erbe der Alpen Dominik Flammer / Książka Twarda
common.buy 276.72 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Deductive verification of object-oriented software
Autor Benjamin Weiß
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 292
EAN 9783866446236
Kod Libristo 01877574
Wydawnictwo Karlsruher Institut Fur Technologie
Waga 467
Wymiary 170 x 244 x 16
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Weather Kristin Baird Rattini / Książka Miękka
common.buy 23.24 zł
Zapowiedź
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Książka Miękka
common.buy 41.28 zł
Eli's Honor: Second Edition Amy Gregory / Książka Miękka
common.buy 55.31 zł
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Książka Twarda
common.buy 165.97 zł
Category Theory in Context Riehl / Książka Miękka
common.buy 131.89 zł
The Carved Pare: A Maori Mirror of the Universe David Simmons / Książka Miękka
common.buy 115.65 zł
Shakespeare: Poems William Shakespeare / Książka Twarda
common.buy 62.63 zł
Blind Vision Peter Toh / Książka Twarda
common.buy 132.29 zł
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Książka Miękka
common.buy 77.17 zł
Confessions of a Chelsea Boy Spencer Matthews / Książka Miękka
common.buy 78.67 zł
Higher-Order Logic and Type Theory John L. Bell / Książka Miękka
common.buy 111.24 zł
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Książka Miękka
common.buy 256.47 zł
Living with Breast Cancer Jennifer A. Shin / E-book Adobe ePub DRM
common.buy 121.36 zł
Introduction to Dependent Types with Idris Boro Sitnikovski / Książka Miękka
common.buy 122.77 zł
Crop Improvement Khalid Rehman Hakeem / Książka Twarda
common.buy 870.67 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo