Проверка на състоянието на поръчката
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 Software Verification - The KeY Book

From Theory to Practice

Език Английски езикАнглийски език
Книга С меки корици
Книга Deductive Software Verification - The KeY Book Wolfgang Ahrendt
Код Либристо: 15195022
Издателство Springer International Publishing AG, декември 2016
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It... Цялото описание
? points 315 b
130.39 €
255.02  лв
Външен склад Изпращаме след 5-8 дни

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

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

Der Toyota Weg Jeffrey K. Liker / Книга С твърди корици
common.buy 37.54 € 73.42 лв
Das vegane High-Protein-Kochbuch Daniela Ruppert / Книга С меки корици
common.buy 18.02 € 35.24 лв
MEMOBREVET FICH REVI HIS GEO 3 Martine Lassus / Книга С меки корици
common.buy 9.37 € 18.32 лв
Le goût de la papaye ELISA MACELLARI / Книга С твърди корици
common.buy 28.79 € 56.30 лв
À la gauche du Christ Denis Pelletier / Книга С меки корици
common.buy 17.08 € 33.41 лв
GoGo Kluk z internetu Štrauch Daniel GoGo / Книга С меки корици
common.buy 7.66 € 14.98 лв
Dvorac duše Judith Bouilloc / Книга С твърди корици
common.buy 17.60 € 34.43 лв
Přízrační příbuzní / Книга Лист
common.buy 17.03 € 33.31 лв
LEONARDO DA VINCI - GRANDES MAESTROS HOHENSTATT / Книга Книга
common.buy 14.81 € 28.96 лв
Lectures Découverte N0 Adolescents:: Chiens et chats - CD audio Dominique Renaud / Аудио Аудио компактдиск
common.buy 8.80 € 17.21 лв
EL COLOR DE LOS SENTIDOS ROLDAN / Книга Книга
common.buy 22.47 € 43.95 лв
MENDIZABAL:GuÆa Elabo.Inform.ClÆn.Logo+e MENDIZáBAL DE LA CRUZ / Книга Книга
common.buy 44.17 € 86.39 лв
Infernal Wagon Alexandre Emerit / Игра/играчка Игра
common.buy 18.02 € 35.24 лв
Tajemství závoje Soňa Bulbeck / Книга С меки корици
common.buy 13.46 € 26.32 лв
tempesta Celine Claire / Книга С твърди корици
common.buy 17.08 € 33.41 лв
Ecoles Et Emplois Publics En Algerie. Guide Du Candidat Aux Fonctions Publiques En Algerie BACRI-L / Книга С меки корици
common.buy 19.36 € 37.87 лв
L'Art Defensif Superieur A l'Offensif, Ou La Fortification Perpendiculaire. Tome 8 Montalembert-M-R / Книга С меки корици
common.buy 15.53 € 30.37 лв
Rencontres Sous X D. Van Cauwelaert / Книга С меки корици
common.buy 11.65 € 22.78 лв
Materialien und Kopiervorlagen zu Hans Peter Richter 'Damals war es Friedrich' Tanja Kraus / Книга С меки корици
common.buy 20.14 € 39.39 лв
Peter Weiss' «Viet Nam Diskurs»: Moeglichkeiten und Formen eines Engagements fuer die Dritte Welt Hyeong Shik Kim / Книга С меки корици
common.buy 86.63 € 169.44 лв
Diagnóstico avanzado de fallas automotrices. Tecnología automotriz: mantenimiento y reparación de vehículos Denton / Книга С меки корици
common.buy 35.83 € 70.08 лв
Le Commerce Et La Colonisation A Madagascar FOUCART-G / Книга С меки корици
common.buy 28.27 € 55.29 лв
Figur Ganesha Messing mini / Игра/играчка Играчка
common.buy 8.59 € 16.80 лв
Roseda Stonewood Schüsse in der Dunkelheit J. P. Cox / Книга С меки корици
common.buy 10.61 € 20.75 лв

Mechanized verification has a distinguished history, as well and this is not a place to trace it. It suffices to say that the KeY project, the subject of this book, is possibly the most ambitious endeavour in this area. It has started in 1998 and gradually evolved into, what the authors call, the KeY framework. This framework goes beyond mechanized verification by also providing a means of program specification, a test case generation, a teaching tool for a number of courses on Software Engineering, and a debugging tool. The current book is a substantial revision and extension of the previous edition that takes into account this evolution of the KeY system. It systematically explains several facets of the KeY framework, starting with the theoretical underpinning and ending with a presentation of nontrivial case studies.

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

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

Пълно заглавие Deductive Software Verification - The KeY Book
Автор Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2016
Брой страници 702
Баркод 9783319498119
ISBN 3319498118
Код Либристо 15195022
Издателство Springer International Publishing AG
Тегло 1095
Размери 155 x 235 x 40

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Aspects of British Economic History A. C. Pigou / Книга С меки корици
common.buy 61.83 € 120.92 лв
Top
Dorohedoro, Vol. 3 Q Hayashida / Книга С меки корици
common.buy 15.63 € 30.58 лв
Better Spelling in 30 Minutes a Day Harry H. Crosby / Книга С меки корици
common.buy 14.03 € 27.44 лв
Panther on the Battlefield 2: World War Two Photobook Series Peter Barnaky / Книга С твърди корици
common.buy 29.36 € 57.42 лв
Vineland Anonymus / Книга С меки корици
common.buy 12.42 € 24.30 лв
Booger Franklin E Wales / Книга С меки корици
common.buy 13.93 € 27.24 лв
Economic power: A simple guide to wealth and power MS Joyce Wolayo / Книга С меки корици
common.buy 55.41 € 108.36 лв
Top
Panzerwrecks 22 Lee Archer / Книга С меки корици
common.buy 20.45 € 40.00 лв
Park Chung Hee Era Byung Kook Kim / Книга С меки корици
common.buy 39.25 € 76.76 лв
Beachcomber's Companion 1000 Piece Puzzle With Shaped Pieces Galison / Игра/играчка Пъзел
common.buy 23.76 € 46.48 лв
The Tin Nib: Short Stories Barbara Sullivan / Книга С меки корици
common.buy 10.35 € 20.25 лв
The Poets And Poetry Of Chester County, Pennsylvania (1890) George Johnston / Книга С меки корици
common.buy 31.64 € 61.87 лв
Putin Richard Sakwa / E-книга Adobe ePub DRM
common.buy 74.62 € 145.94 лв
Transformation Bill Phillips / E-книга Adobe ePub DRM
common.buy 15.22 € 29.77 лв
Wild and Wrangled Lyla Sage / E-книга Adobe ePub DRM
common.buy 7.50 € 14.68 лв
Top
Kinslayer Jay Kristoff / Книга С меки корици
common.buy 18.79 € 36.76 лв
Galtung and Ruge Revisited: News Values in Greece Constantinos Akrivos / Книга С меки корици
common.buy 37.80 € 73.93 лв
Подготвяме
It Takes a Village Hillary Rodham Clinton / Книга С меки корици
common.buy 10.40 € 20.35 лв
Essays on Philosophy in Australia Jan J. T. Srzednicki / Книга С меки корици
common.buy 162.91 € 318.63 лв
Making Your Primary School E-safe KATZ ADRIENNE / Книга С меки корици
common.buy 19.88 € 38.88 лв
Deaths and Burials in St. Mary's County, Maryland Leona A Cryer / Книга С меки корици
common.buy 36.92 € 72.21 лв
Roman Catholic Church and the Home Rule Movement in Ireland, 1870-1874 Emmet Larkin / Книга С меки корици
common.buy 63.90 € 124.97 лв
Dead Reign Naomi Anderson / Книга С меки корици
common.buy 22.99 € 44.96 лв
Believer`s Guide to Spiritual Warfare Tom White / Книга С меки корици
common.buy 18.43 € 36.05 лв

Вход

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

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

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

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

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