Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Theorem Proving in Software Engineering

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

Johann M. Schumann

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 05275134

Nakladnici Springer, Berlin, studeni 2000

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

Libristo kod: 05275134

135 b

55.89 €

Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

Meki uvez

49.20 €

UM POUCO DE CONFIANÇA WINTERS

Knjiga

5.36 €

Die Hochzeit von Auschwitz Erich Hackl

Meki uvez

11.33 €

COSMETOLOGIA APLICADA A LA ESTETICA DECORATIVA (ACCESO) BADIA VILA

Knjiga

17.31 €

Le chemin de Sophie Geoffrion

List

18.62 €

Chi znaesh ti Petsona i Findusa? Sven Nordqvist

Tvrdi uvez

12.75 €

Annales BAC 2023 Maths Terminale - Corrigé collegium

Tvrdi uvez

11.94 €

Stranianimali Rosa Lombardo

Tvrdi uvez

27.23 €

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

Meki uvez

19.74 €

Principes de Droit Civil Francais, Volume 12 Franois Laurent

Meki uvez

31.68 €

entburokratisierte Pflegedokumentation Mathias Berger

Meki uvez

45.46 €

Pienten lasten satukirja: Kokoelma tarkeista asioista Henri Yoki

Meki uvez

14.77 €

Gesammelte Schriften und Dichtungen Richard Wagner

Meki uvez

55.89 €

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

Meki uvez

15.38 €

Škoda nevařit 2 Kuchařka plná akce Martin Škoda

Tvrdi uvez

16.29 €

L'Expedition de Madagascar M BARBOU

Meki uvez

17.41 €

Geschichte der Hexenprozesse in Bayern Sigmund Riezler

Meki uvez

37.46 €

Der Einsatz von Vomitivmitteln zur Beweissicherung im Strafverfahren. Achim Hackethal

Meki uvez

65.91 €

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

Meki uvez

16.19 €

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.