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?

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)

Rok: 2000
ISBN: 9783540410300
NKP-CNB: boa001-muni.000157005
OKCZID: 110046565

Citace (dle ČSN ISO 690):
HAVELUND, Klaus, ed., PENIX, John, ed. a VISSER, Willem, ed. SPIN model checking and software verification: 7th international SPIN workshop, Stanford, CA, USA, August 30 - September 1, 2000 : proceedings. Berlin: Springer, 2000. x, 342 s. Lecture notes in computer science, 1885.


Anotace

Upravit anotaci
 

Proceedings of the 7th International SPIN Workshop, held in Stanford, CA, USA, August 30September 1, 2000. This workshop has a broad focus, including papers on software verification, which were not included in the past, and it has led to new research developments. Softcover.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)