Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Език Английски езикАнглийски език
Книга С меки корици
Книга Deductive verification of object-oriented software Benjamin Weiß
Код Либристо: 01877574
Издателство Karlsruher Institut Fur Technologie, август 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Цялото описание
? points 75 b
30.86 €
60.36  лв
Външен склад Изпращаме след 8-11 дни

30 дни за връщане на стоката

Клиентите са закупили също

Eine Konigin Ottilie Wildermuth / Книга С меки корици
common.buy 8.64 € 16.90 лв
El País de la Canela / The Land of Cinnamon Ospina / Книга С меки корици
common.buy 18.79 € 36.76 лв
Zápisník LUX fauna, flora II NEW10x7,5 cm / Канцеларски материали Канцеларски материали
common.buy 2.58 € 5.05 лв
Das kulinarische Erbe der Alpen Dominik Flammer / Книга С твърди корици
common.buy 69.49 € 135.91 лв
Vertragsfolgen ohne Vertrag. Michael Litterer / Книга С меки корици
common.buy 56.23 € 109.98 лв
Un Maldito Maricón - A Damn Faggot Fredes / Книга С меки корици
common.buy 182.18 € 356.31 лв
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Книга binding.
common.buy 135.98 € 265.96 лв
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Книга С меки корици
common.buy 52.92 € 103.50 лв
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Книга С меки корици
common.buy 22.21 € 43.44 лв
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Книга С твърди корици
common.buy 22.26 € 43.54 лв
5-Minuten-Sketche Karin Pfeiffer / Книга Лист
common.buy 14.39 € 28.15 лв
Cuentos Luis Chesney Lawrence / Книга С меки корици
common.buy 8.12 € 15.89 лв
Kobane Calling Zerocalcare / Книга С твърди корици
common.buy 22.47 € 43.95 лв
El Fuego Oscuro = Dark Fire Christine Feehan / Книга С меки корици
common.buy 8.44 € 16.50 лв
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Книга С меки корици
common.buy 26.25 € 51.34 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Deductive verification of object-oriented software
Автор Benjamin Weiß
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 292
Баркод 9783866446236
Код Либристо 01877574
Издателство Karlsruher Institut Fur Technologie
Тегло 467
Размери 170 x 244 x 16
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Crop Improvement Khalid Rehman Hakeem / Книга С твърди корици
common.buy 217.08 € 424.57 лв
Introduction to Dependent Types with Idris Boro Sitnikovski / Книга С меки корици
common.buy 29.05 € 56.81 лв
Living with Breast Cancer Jennifer A. Shin / E-книга Adobe ePub DRM
common.buy 29.98 € 58.63 лв
Higher-Order Logic and Type Theory John L. Bell / Книга С меки корици
common.buy 26.30 € 51.44 лв
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Книга С твърди корици
common.buy 39.25 € 76.76 лв
Подготвяме
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Книга С меки корици
common.buy 10.40 € 20.35 лв
Eli's Honor: Second Edition Amy Gregory / Книга С меки корици
common.buy 13.10 € 25.61 лв
Category Theory in Context Riehl / Книга С меки корици
common.buy 26.87 € 52.56 лв
The Carved Pare: A Maori Mirror of the Universe David Simmons / Книга С меки корици
common.buy 28.58 € 55.90 лв
Shakespeare: Poems William Shakespeare / Книга С твърди корици
common.buy 15.74 € 30.78 лв
Blind Vision Peter Toh / Книга С твърди корици
common.buy 31.27 € 61.17 лв
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Книга С меки корици
common.buy 18.22 € 35.64 лв
Confessions of a Chelsea Boy Spencer Matthews / Книга С меки корици
common.buy 21.12 € 41.31 лв
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Книга С меки корици
common.buy 14.29 € 27.94 лв
Weather Kristin Baird Rattini / Книга С меки корици
common.buy 5.48 € 10.73 лв
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Книга С меки корици
common.buy 64.21 € 125.58 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?