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

Registrovat »    Zapomenuté heslo?

Formal methods and testing : an outcome of the FORTEST network : revised selected papers

Rok: c2008
ISBN: 9783540789161
OKCZID: 110095818

Citace (dle ČSN ISO 690):
HIERONS, Robert M., ed., BOWEN, Jonathan P., ed. a HARMAN, Mark, ed. Formal methods and testing: an outcome of the FORTEST network : revised selected papers. Berlin: Springer, c2008. xi, 366 s. Lecture notes in computer science, 4949.


Anotace

Upravit anotaci
 

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)