Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000027710

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000277xx / 000027710.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

obálka/obal
ISBN0-387-54477-1
ISBN3-540-54477-1 (brož) : bc
MDT681.3
Názvové údajeComputer-Aided Verification : 2nd Internat. Conf., CAV '90 : Proceedings / Ed. Edmund M. Clarke, Robert P. Kurshan
Nakladatel.údajeBerlin : Springer, 1991
Údaje fyz.popisu13, 372 s
Edice-jiná formaLecture Notes in Computer Science ; Vol. 531
Všeobecná pozn.Bibliogr. na konci kapitol
VZ-Osobní jm.Clarke, Edmund M.
VZ-Osobní jm.Kurshan, Robert P.
VZ-Edice-Unif.náz. Lecture Notes in Computer Science
Sigla,sign.vlastn.OLA001 585.097
Předmět.heslaPočítače verifikace sborníky z konferencí
Předmět.heslaVerifikace počítače sborníky z konferencí
Počet exemplářů1