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 2897955 obálek a 875375 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Systems and Software Verification: Model-Checking Techniques and Tools

Rok: 2001
ISBN: 9783540415237
OKCZID: 110046472

Citace (dle ČSN ISO 690):
Systems and Software Verification: model-checking techniques and tools. Berlin: Springer, 2001. viii, 190 s.


Anotace

Upravit anotaci
 

Describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as formal language for behavioral properties, and model-checking algorithms.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)