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 000034781
Navigace: https://aleph22.vkol.cz/pub / svk01 / 00003xxxx / 0000347xx / 000034781.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 | 0-13-951062-1 (brož) : bc |
| 080 | 681.3.06 |
| Všeob.údaje zprac. | Dahl, Ole-Johan, 1931-2002 |
| 24510 | Verifiable Programming |
| Záhlaví-věcné téma | 1. publ |
| 260 | New York : Prentice Hall, 1992 |
| Informační poznámka | 9, 269 s |
| Angl.ekvivalent PK | Prentice Hall Internat. Ser. in Computer Science |
| Viz též (os.jméno) | Bibliogr. s. 260-262 |
| Pozn.katalogizátora | Prentice Hall Internat. Ser. in Computer Science |
| 910 | OLA001 586.810 |
| 964 | Počítače programy verifikace |
| 964 | Počítače verifikace |
| EXE | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.