Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000027710
Navigace: https://aleph.vkol.cz/pub / svk01 / 00002xxxx / 0000277xx / 000027710.htm
Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.
ISBN | 0-387-54477-1 |
ISBN | 3-540-54477-1 (brož) : bc |
MDT | 681.3 |
Názvové údaje | Computer-Aided Verification : 2nd Internat. Conf., CAV '90 : Proceedings / Ed. Edmund M. Clarke, Robert P. Kurshan |
Nakladatel.údaje | Berlin : Springer, 1991 |
Údaje fyz.popisu | 13, 372 s |
Edice-jiná forma | Lecture 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.hesla | Počítače verifikace sborníky z konferencí |
Předmět.hesla | Verifikace počítače sborníky z konferencí |
Počet exemplářů | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.