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.
Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000027789
Navigace: https://aleph.vkol.cz/pub / svk01 / 00002xxxx / 0000277xx / 000027789.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-97226-9 |
| ISBN | 3-540-97226-9 (brož) : bc |
| Kód předm.kateg. | 004.3 Počítače. Hardware |
| MDT | 004.3 |
| MDT | (062.534) |
| Názvové údaje | Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathem. Sciences Inst. Workshop Cornell Univ : Proceedings / Ed. Geoffrey Brown, Miriam Leeser |
| Nakladatel.údaje | Berlin : Springer, 1990 |
| Údaje fyz.popisu | 6, 402 s |
| Edice-jiná forma | Lecture Notes in Computer Science ; Vol. 408 |
| Všeobecná pozn. | Bibliogr. na konci kapitol |
| Předm.-Věc.téma | hardware |
| Žánr/forma | sborníky konferencí |
| VZ-Osobní jm. | Brown, Geoffrey |
| VZ-Osobní jm. | Leeser, Miriam |
| VZ-Edice-Unif.náz. | Lecture Notes in Computer Science |
| Sigla,sign.vlastn. | OLA001 585.180 |
| Počet exemplářů | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.