Naspäť
|
Hlavná stránka
|
Vyhľadávanie
|
Nájdené
|
História hľadaní
|
Prihlásiť
|
Tlač
Zobrazenie záznamu
Formal methods in computing
/ Ferenczi Miklós, Pataricza András. - 1. vyd. - Budapest : Akadémiai Kiadó, 2005. - 425 s. - ISBN 963 05 8258 9.
Záznam
Úplný UNIMARC záznam
Export citácie
Názov:
Formal methods in computing
autor:
Ferenczi Miklós
;
Pataricza András
Vydavateľské údaje:
Budapest : Akadémiai Kiadó, 2005
Kľúčové slová:
természettudomány
,
prírodopis
,
számítástechnika
,
informatika
,
formális nyelv
Signatúra:
S.01.12.A.
Popis signatúry:
Informatika - általános
OpenURL:
http://kis.ujs.sk/opac/openURL?sid=C75224
Exempláre
#
prír. číslo
kategória
lokácia
stav
1
152528.T
33
T
K dispozícií
Funkcie
Návrh a riešenie SVOP WEBDIZAJN
|
Zabezpečuje DAWINCI
|
help
Pre správne fungovanie systému je potrebné mať povolený javascript! Systém je optimalizovaný pre prehliadače IE9 a vyššie, Mozilla Firefox, Opera, Google Chrome a Safari