Andere Kunden interessierten sich auch für
![XML-indukciq w sistemah porozhdeniq i rekonstrukcii textow/programm]( "XML-indukciq w sistemah porozhdeniq i rekonstrukcii textow/programm")
XML-indukciq w sistemah porozhdeniq i rekonstrukcii textow/programm32,99 €![Awtomaticheskoe rasparalleliwanie C-programm w Cilk++ stile]( "Awtomaticheskoe rasparalleliwanie C-programm w Cilk++ stile")
Awtomaticheskoe rasparalleliwanie C-programm w Cilk++ stile32,99 €![Sistema porozhdeniq, rekonstrukcii i preobrazowaniq programm PGEN++]( "Sistema porozhdeniq, rekonstrukcii i preobrazowaniq programm PGEN++")
Sistema porozhdeniq, rekonstrukcii i preobrazowaniq programm PGEN++42,99 €![Logische und Methodische Grundlagen der Programm- und Systementwicklung]( "Logische und Methodische Grundlagen der Programm- und Systementwicklung")
Logische und Methodische Grundlagen der Programm- und Systementwicklung34,99 €![Teoriq i praktika mnogokriterial'nyh reshenij]( "Teoriq i praktika mnogokriterial'nyh reshenij")
Teoriq i praktika mnogokriterial'nyh reshenij52,99 €![Teoriq sistem m sistemnyj analiz]( "Teoriq sistem m sistemnyj analiz")
Teoriq sistem m sistemnyj analiz58,99 €![Resursnaq äffektiwnost' komp'üternyh algoritmow: teoriq i primenenie]( "Resursnaq äffektiwnost' komp'üternyh algoritmow: teoriq i primenenie")
Resursnaq äffektiwnost' komp'üternyh algoritmow: teoriq i primenenie52,99 €
V knige rassmatriwaütsq matematicheskie modeli i metody analiza funkcional'nyh programm. Osnownoe wnimanie udeleno teorii funkcij, wychislqemyh fukcional'nymi programmami (äti funkcii nazywaütsq naimen'shimi nepodwizhnymi tochkami funkcional'nyh programm). Takzhe izlagaütsq osnownye metody werifikacii funkcional'nyh programm: metod wychislitel'noj indukcii i metod strukturnoj indukcii. V knige soderzhitsq bol'shoe kolichestwo zadach na dokazatel'stwo razlichnyh swojstw funkcij, wychislqemyh funkcional'nymi programmami. Kniga prednaznachena dlq studentow wysshih uchebnyh zawedenij, obuchaüschihsq po special'nostqm "teoreticheskie osnowy informatiki" i "informacionnaq bezopasnost'". Takzhe ona predstawlqet interes dlq specialistow w dannyh oblastqh.