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. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

ISBN0-387-19581-5
ISBN3-540-19581-5 (brož) : bc
MDT681.3.06
Názvové údajeSpecification and Verification of Concurrent Systems / Ed. Charles Rattray
Nakladatel.údajeLondon : Springer, 1990
Údaje fyz.popisu8, 612 s
Edice-jiná formaWorkshops in Computing
VZ-Osobní jm.Rattray, Charles
VZ-Edice-Unif.náz. Workshops in Computing
Sigla,sign.vlastn.OLA001 584.896
Předmět.heslaPočítače paralelní sborníky z konferencí
Počet exemplářů1