Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000050568
Navigace: https://aleph.vkol.cz/pub / svk01 / 00005xxxx / 0000505xx / 000050568.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-56694-5 (brož) : bc |
080 | 519.25:519.68 |
080 | 519.68:519.25 |
080 | 681.3.06 |
Všeob.údaje zprac. | Mulkers, Anne |
24510 | Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation |
260 | Berlin : Springer, 1993 |
Informační poznámka | 8, 220 s |
Angl.ekvivalent PK | Lecture Notes in Computer Science ; 675 |
Viz též (os.jméno) | Bibliogr. s. 213-220 |
Viz též (os.jméno) | Rozmn |
Pozn.katalogizátora | Lecture Notes in Computer Science |
910 | OLA001 591.417 |
964 | Data skutečná programy logické struktury |
964 | Programy logické data skutečná struktury |
964 | Vědy počítačové vývoj |
EXE | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.