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 000050484
Navigace: https://aleph.vkol.cz/pub / svk01 / 00005xxxx / 0000504xx / 000050484.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.
| 020 | 3-540-56883-2 (brož) : bc |
| 080 | 681.3.06 |
| 1112 | International (-) |
| 24510 | Functional Programming, Concurrency, Simulation and Automated Reasoning / Ed. Peter E. Lauer |
| 260 | Berlin : Springer, 1993 |
| Informační poznámka | 10, 398 s |
| Angl.ekvivalent PK | Lecture Notes in Computer Science ; 693 |
| Viz též (os.jméno) | Bibliogr. na konci kapitol |
| Viz též (os.jméno) | Rozmn |
| 7001 | Lauer, Peter E. |
| Pozn.katalogizátora | Lecture Notes in Computer Science |
| 910 | OLA001 591.351 |
| 964 | Programování funkcionální shoda simulace automatizace |
| EXE | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.