Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Interactive Theorem Proving in Software Engineering

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

Florian Kammüller

Language

English

Book Paperback

Libristo code: 06982395

Publishers VDM Verlag Dr. Mueller E.K., July 2008

Interactive theorem proving is the modern way of formalizingmathematics using a computer as a proof... Full description

Libristo code: 06982395

134 b

19 536 Ft

In stock at our supplier Shipping in 9-15 days

Up to 30 days for returns

Customers also purchased

Hase Hibiskus: Die Oster-Kleckserei Günther Jakobs

Board book

3 332 Ft

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

Paperback

3 714 Ft

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

Hardback

12 403 Ft

Siperiaan karkoitettuna Heikki Valisalmi

Adobe ePub DRM

3 291 Ft

Los hijos del capitan Grant Verne

MP3

3 365 Ft

Söz Müzik Ümit Sayin CD Bendeniz

Audio CD

7 101 Ft

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

Paperback

7 468 Ft

Lineare Algebra Peter Knabner

Hardback

27 119 Ft

Deporte adaptado y escuela inclusiva HIGINIO F. ARRIBAS CUBERO

Paperback

9 185 Ft

Frozen. Brillante como la nieve Editorial Planeta

Paperback

3 888 Ft

Guia de Perplejos O Descarriados Maimonides

Paperback

4 934 Ft

Herkes Yalniz Onur Caymaz

Paperback

4 264 Ft

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

Paperback

9 534 Ft

Biologie an Stationen, Klasse 5/6 Tina Schauer

Sheet

10 190 Ft

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.