Automated Theorem Proving in Software Engineering di Johann M. Schumann edito da Springer-Verlag GmbH
Alta reperibilità

Automated Theorem Proving in Software Engineering

EAN:

9783540679899

ISBN:

3540679898

Pagine:
250
Formato:
Hardback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Automated Theorem Proving in Software Engineering

Growing demands for the quality, safety, and security of software can only be satisfied by the 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 prover's capabilities and for selecting and developing an appropriate interface architecture.

Spedizione gratuita
€ 104.88€ 110.40
Risparmi:€ 5.52(5%)
o 3 rate da € 34.96 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Automated Theorem Proving in Software Engineering
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti