Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.

Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2936857 obálek a 892456 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Automated theorem proving in software engineering

Autor: Schumann, Johann M.
Rok: 2001
ISBN: 9783540679899
OKCZID: 110184518

Citace (dle ČSN ISO 690):
SCHUMANN, Johann M. Automated theorem proving in software engineering. Berlin: Springer, 2001. XIV, 228 s.

Hodnocení: 5.0 / 5 (6 hlasů)


Anotace

Upravit anotaci
 

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 logicbased software reuse.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)