Formal foundations of correct programming /

Uložené v:
Podrobná bibliografia
Hlavný autor: Novitzká, Valerie
Médium: Kniha
Jazyk:English
Vydavateľské údaje: Košice : Elfa, 1999
Vydanie:[1st ed.]
Predmet:
algebraická štruktúra > teória kategórií > abstraktný logický systém > sémantický vzťah > softvér
ISBN:8088964229
On-line prístup: Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220621154354.0
008 s1999 xo e ||||||eng d
020 |a 8088964229 
035 |a CVTIDW0952663 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a xo 
080 |a 004.4  |2 UDC-MRF 
080 |a 519.6  |2 UDC-MRF 
100 1 |a Novitzká, Valerie 
242 1 0 |a Formálne základy správneho programovania 
245 1 0 |a Formal foundations of correct programming /  |c Valéria Novitzká 
250 |a [1st ed.] 
260 |a Košice :  |b Elfa,  |c 1999 
300 |a 69 s. :  |b grafy, lit., obr., tab. ; 
653 1 |a algebraická štruktúra  |a teória kategórií  |a abstraktný logický systém  |a sémantický vzťah  |a softvér 
910 |b A572201 - A572203  |b A572392 
919 |a 80-88964-22-9 
974 |f Knihy 
992 |a AMG 
999 |c 112605  |d 112605 

Podobné jednotky