Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000027503
Navigace: https://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000275xx / 000027503.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-19581-5 |
ISBN | 3-540-19581-5 (brož) : bc |
MDT | 681.3.06 |
Názvové údaje | Specification and Verification of Concurrent Systems / Ed. Charles Rattray |
Nakladatel.údaje | London : Springer, 1990 |
Údaje fyz.popisu | 8, 612 s |
Edice-jiná forma | Workshops in Computing |
VZ-Osobní jm. | Rattray, Charles |
VZ-Edice-Unif.náz. | Workshops in Computing |
Sigla,sign.vlastn. | OLA001 584.896 |
Předmět.hesla | Počítače paralelní 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.