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

Navigace: https://aleph.vkol.cz/pub / svk01 / 00004xxxx / 0000460xx / 000046082.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.

020 0-387-56283-4 (brož) : bc
020 3-540-56283-4
080 681.3
Všeob.údaje zprac.Koymans, Ron
24510Specifying Message Passing and Time-Critical Systems with Temporal Logic
260 Berlin : Springer, 1992
Informační poznámka 8, 164 s
Angl.ekvivalent PKLecture Notes in Computer Science ; 651
Viz též (os.jméno) Bibliogr. s. 151-161
Pozn.katalogizátoraLecture Notes in Computer Science
910 OLA001 590.093
964 Počítače systémy distribuované komunikace
964 Systémy distribuované zprávy průchod
EXE 2

Úvodní stránka katalogu. O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.