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 Kurier 12.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 66 b
119.21 zł
Dostępna u dostawcy Wysyłamy za 8-11 dni

Nawet do 30 dni na zwrot

Klienci kupili także

El País de la Canela / The Land of Cinnamon Ospina / Książka Miękka
common.buy 78.27 zł
Un Maldito Maricón - A Damn Faggot Fredes / Książka Miękka
common.buy 762.33 zł
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Książka binding.
common.buy 561.71 zł
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Książka Miękka
common.buy 215.50 zł
Cold case? Dubbelmord i Hogdalen Diverse / Audiobook MP3
common.buy 13.81 zł
Zápisník LUX fauna, flora II NEW10x7,5 cm / Artykuły papiernicze Artykuły papiernicze
common.buy 13.27 zł
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Książka Miękka
common.buy 99.19 zł
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Książka Twarda
common.buy 92.15 zł
Cuentos Luis Chesney Lawrence / Książka Miękka
common.buy 36.21 zł
Kobane Calling Zerocalcare / Książka Twarda
common.buy 86.01 zł
El Fuego Oscuro = Dark Fire Christine Feehan / Książka Miękka
common.buy 34.20 zł
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Książka Miękka
common.buy 101.41 zł
5-Minuten-Sketche Karin Pfeiffer / Książka Karta
common.buy 58.65 zł
Eine Konigin Ottilie Wildermuth / Książka Miękka
common.buy 33.49 zł
Vertragsfolgen ohne Vertrag. Michael Litterer / Książka Miękka
common.buy 277.58 zł
Das kulinarische Erbe der Alpen Dominik Flammer / Książka Twarda
common.buy 266.81 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ć

Living with Breast Cancer Jennifer A. Shin / E-book Adobe ePub DRM
common.buy 125.83 zł
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Książka Twarda
common.buy 175.15 zł
Zapowiedź
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Książka Miękka
common.buy 39.63 zł
CLIL PROJECTS NIVEL III EUROPE ED19 VVAA / Książka Miękka
common.buy 145.68 zł
Eli's Honor: Second Edition Amy Gregory / Książka Miękka
common.buy 58.14 zł
Net Zero Energy Buildings (NZEB) Attia / Książka Miękka
common.buy 614.13 zł
TOP
Category Theory in Context Riehl / Książka Miękka
common.buy 119.92 zł
Higher-Order Logic and Type Theory John L. Bell / Książka Miękka
common.buy 117.40 zł
The Carved Pare: A Maori Mirror of the Universe David Simmons / Książka Miękka
common.buy 119.03 zł
Shakespeare: Poems William Shakespeare / Książka Twarda
common.buy 72.92 zł
Weather Kristin Baird Rattini / Książka Miękka
common.buy 24.94 zł
Blind Vision Peter Toh / Książka Twarda
common.buy 139.54 zł
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Książka Miękka
common.buy 81.38 zł
TOP
Antique Biedermeier Furniture Rudolf Pressler / Książka Twarda
common.buy 136.82 zł
Confessions of a Chelsea Boy Spencer Matthews / Książka Miękka
common.buy 71.63 zł
Manual of Instruction for the Volunteers and Militia of the United States William Gilham / Książka Miękka
common.buy 65.39 zł
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Książka Miękka
common.buy 55.23 zł
Introduction to Dependent Types with Idris Boro Sitnikovski / Książka Miękka
common.buy 129.78 zł
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Książka Miękka
common.buy 263.95 zł
Giant Sticker Unicorn Fun / Książka Miękka
common.buy 42.85 zł
Crop Improvement Khalid Rehman Hakeem / Książka Twarda
common.buy 847.14 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?