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

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00003xxxx / 0000347xx / 000034781.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-13-951062-1 (brož) : bc
080 681.3.06
Všeob.údaje zprac.Dahl, Ole-Johan, 1931-2002
24510Verifiable Programming
Záhlaví-věcné téma1. publ
260 New York : Prentice Hall, 1992
Informační poznámka 9, 269 s
Angl.ekvivalent PKPrentice Hall Internat. Ser. in Computer Science
Viz též (os.jméno) Bibliogr. s. 260-262
Pozn.katalogizátoraPrentice Hall Internat. Ser. in Computer Science
910 OLA001 586.810
964 Počítače programy verifikace
964 Počítače verifikace
EXE 1