Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Interactive Theorem Proving in Software Engineering

Name: Interactive Theorem Proving in Software Engineering
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06982395
Price: 51.36 EUR
Availability: InStock
Author: Florian Kammüller
ISBN: 9783836457699

Florian Kammüller

Език

Английски език

Книга С меки корици

Код Либристо: 06982395

Издателство VDM Verlag Dr. Mueller E.K., юли 2008

Interactive theorem proving is the modern way of formalizingmathematics using a computer as a proof... Цялото описание

Код Либристо: 06982395

125 b

51.36 €

100.46 лв

Външен склад Изпращаме след 9-15 дни

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

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

Hase Hibiskus: Die Oster-Kleckserei Günther Jakobs

Дипляна

9.13 € 17.86 лв

En avant Pâques avec sainte Bernadette Inès d'Oysonville

С меки корици

10.99 € 21.50 лв

Medicínske médium - Záchrana mozgu Anthony William

С твърди корици

42.53 € 83.19 лв

Siperiaan karkoitettuna Heikki Valisalmi

Adobe ePub DRM

9.75 € 19.07 лв

Los hijos del capitan Grant Verne

MP3

10.01 € 19.58 лв

Söz Müzik Ümit Sayin CD Bendeniz

Аудио компактдиск

19.61 € 38.36 лв

Coffret L'anglais tout de suite ! (livre + 1CD) Michel Marcheteau

С меки корици

22.09 € 43.20 лв

Lineare Algebra Peter Knabner

С твърди корици

74.49 € 145.69 лв

Deporte adaptado y escuela inclusiva HIGINIO F. ARRIBAS CUBERO

С меки корици

27.20 € 53.20 лв

Frozen. Brillante como la nieve Editorial Planeta

С меки корици

10.68 € 20.89 лв

Guia de Perplejos O Descarriados Maimonides

С меки корици

14.76 € 28.87 лв

Herkes Yalniz Onur Caymaz

С меки корици

11.77 € 23.01 лв

Essay d'Une Parfaite Grammaire de la Langue Francoise Chiflet-L

С меки корици

25.14 € 49.16 лв

Biologie an Stationen, Klasse 5/6 Tina Schauer

Лист

28.03 € 54.82 лв

Interactive theorem proving is the modern way of formalizingmathematics using a computer as a proof assistant, helping solvesimple tasks and keeping an order on the proofs. Still, it is atedious task, as such mechanical proofs contain detail that humansdo not want to see. When it comes to the verification of real worldapplications in software engineering, as required for the assuranceof safety and security properties of embedded systems, the level ofdetail becomes even more annoying. In fact, it is a gargantuan taskto prove a program correct or prove that an implementation conformsto its UML-specification. The sheer mass of proof obligations alone- apart from the hidden subtlety of such challenges - obstructsquality assurance of software artifacts with interactive theoremprovers. This book draws a line to show up how far current cuttingedge research has succeeded in tackling this long standing quest.Using examples from algorithm development, Java bytecodeverification and UML state machine analysis the author introducescurrent trends in interactive theorem proving technology using Coq,Isabelle, and model checking.