Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Theorem Proving in Software Engineering

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

Johann M. Schumann

Język

Angielski

Książka Twarda

Kod Libristo: 05275134

Wydawnictwo Springer, Berlin, listopad 2000

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

Kod Libristo: 05275134

141 b

Gwarancja
najlepszej
ceny ▸

249.45 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

COSMETOLOGIA APLICADA A LA ESTETICA DECORATIVA (ACCESO) BADIA VILA

Książka

76.91 zł

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

Miękka

194.06 zł

Vêtements

Twarda

43.35 zł

Le chemin de Sophie Geoffrion

Karta

83.48 zł

Chi znaesh ti Petsona i Findusa? Sven Nordqvist

Twarda

43.96 zł

Annales BAC 2023 Maths Terminale - Corrigé collegium

Twarda

53.26 zł

Stranianimali Rosa Lombardo

Twarda

116.13 zł

LISANDRO ALONSO, HABITER LA NATURE, REVER LE CINEMA BOUCHE Książka

Miękka

88.23 zł

UM POUCO DE CONFIANÇA WINTERS

Książka

23.24 zł

Principes de Droit Civil Francais, Volume 12 Franois Laurent

Miękka

134.93 zł

Pienten lasten satukirja: Kokoelma tarkeista asioista Henri Yoki

Miękka

63.16 zł

Gesammelte Schriften und Dichtungen Richard Wagner

Miękka

156.15 zł

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

Miękka

68.42 zł

L'Expedition de Madagascar M BARBOU

Miękka

74.48 zł

Geschichte der Hexenprozesse in Bayern Sigmund Riezler

Miękka

159.79 zł

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

Miękka

69.13 zł

Der Einsatz von Vomitivmitteln zur Beweissicherung im Strafverfahren. Achim Hackethal

Miękka

295.84 zł

entburokratisierte Pflegedokumentation Mathias Berger

Miękka

133.51 zł

Ethik der Kinder- und Jugendhilfe Klaus Graf

Miękka

114.71 zł

Die Hochzeit von Auschwitz Erich Hackl

Miękka

50.93 zł

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.