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 point 990 Ft DPD courier 1 190 Ft GLS point 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 GLS courier 1 690 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

Automated Theorem Proving in Software Engineering

Name: Automated Theorem Proving in Software Engineering
Brand: Springer, Berlin
SKU: 05275134
Price: 21307 HUF
Availability: InStock
Author: Johann M. Schumann
ISBN: 9783540679899

Johann M. Schumann

Language

English

Book Hardback

Libristo code: 05275134

Publishers Springer, Berlin, November 2000

Growing demands for the quality, safety, and security of software can only be met by rigorous applic... Full description

Libristo code: 05275134

145 b

21 307 Ft

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

UM POUCO DE CONFIANÇA WINTERS

Book

1 953 Ft

COSMETOLOGIA APLICADA A LA ESTETICA DECORATIVA (ACCESO) BADIA VILA

Book

6 428 Ft

Le chemin de Sophie Geoffrion

Sheet

6 928 Ft

Chi znaesh ti Petsona i Findusa? Sven Nordqvist

Hardback

4 022 Ft

Annales BAC 2023 Maths Terminale - Corrigé collegium

Hardback

4 415 Ft

Stranianimali Rosa Lombardo

Hardback

10 242 Ft

LISANDRO ALONSO, HABITER LA NATURE, REVER LE CINEMA BOUCHE Book

Paperback

7 340 Ft

Diversit? faunistica e floreale dei parchi nazionali dell'India: Parte IV Joice Tom Job

Paperback

17 656 Ft

Principes de Droit Civil Francais, Volume 12 Franois Laurent

Paperback

12 107 Ft

Vêtements

Hardback

3 596 Ft

GESTIONAR LAS RELACIONES CON LOS CLIENTES DE LO FÍSICO A LO VIRTUAL

Paperback

29 351 Ft

Pienten lasten satukirja: Kokoelma tarkeista asioista Henri Yoki

Paperback

5 678 Ft

Estrategias para la Exportación de Higos hacia el Mercado Europeo Christian Chee

Paperback

25 903 Ft

Gesammelte Schriften und Dichtungen Richard Wagner

Paperback

14 208 Ft

ESQUEMA DEL PSICOANÁLISIS SEGUIDO DE ALGUNAS LECCIONES ELEMEN Sigmund Freud

Paperback

5 711 Ft

L'Expedition de Madagascar M BARBOU

Paperback

6 678 Ft

Etude En Rouge Arthur Conan Doyle

Paperback

4 184 Ft

Geschichte der Hexenprozesse in Bayern Sigmund Riezler

Paperback

14 546 Ft

Lehre vom Gerechten Krieg (bellum iustum) in der Katholischen Kirche Matthias Reim

Paperback

9 335 Ft

Der Einsatz von Vomitivmitteln zur Beweissicherung im Strafverfahren. Achim Hackethal

Paperback

26 458 Ft

entburokratisierte Pflegedokumentation Mathias Berger

Paperback

12 167 Ft

Ethik der Kinder- und Jugendhilfe Klaus Graf

Paperback

10 436 Ft

Die Hochzeit von Auschwitz Erich Hackl

Paperback

4 225 Ft

Growing demands for the quality, safety, and security of software can only be met by rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the provers' capabilities and for selecting and developing an appropriate interface architecture. The book demonstrates that state-of-the-art automated theorem provers are capable of automatically handling important tasks in the design of high quality software and provides many helpful techniques for increasing the practical usability of automated theorem provers.§Systemvoraussetzungen: CD-ROM drive, Unix (Sun OS 4.X, Sun Solaris, HP-UX) and Linux platforms.