Automated Database Applications Testing: Specification Representation For Automated Reasoning

Automated Database Applications Testing: Specification Representation For Automated Reasoning

Usa) Rana Farid (Univ Of South Florida Mikhail, Usa) Donald J (Univ Of South Florida Berndt, Usa) Abraham (Univ Of South Florida Kandel
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Automated Database Applications Testing: Specification Representation For Automated Reasoning koupíte na Bookshop.cz
Bookshop.cz
2 497 Kč
Není skladem
Krátký popis
Introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools.
Výběr knih vydavatele World Scientific Publishing Co Pte Ltd
Kniha "Thermodynamic" Universe, The: Exploring The Limits Of Physics

"Thermodynamic" Universe, The: Exploring The Limits Of Physics

  Chci koupit
Kniha 100 Years Of Relativity: Space-time Structure

100 Years Of Relativity: Space-time Structure

  Chci koupit
Kniha 2-d Quadratic Maps And 3-d Ode Systems: A Rigorous Approach

2-d Quadratic Maps And 3-d Ode Systems: A Rigorous Approach

  Chci koupit
Kniha (1+ 1)-nonlinear Universe Of The Parabolic Map And Combinatorics, The

(1+ 1)-nonlinear Universe Of The Parabolic Map And Combinatorics, The

  Chci koupit
Kniha 100 Inspiring Rafflesians, 1823-2003

100 Inspiring Rafflesians, 1823-2003

  Chci koupit
Kniha 100 Challenges In Cardiology

100 Challenges In Cardiology

  Chci koupit
Kniha 100 Diagnostic Challenges In Clinical Medicine

100 Diagnostic Challenges In Clinical Medicine

  Chci koupit
Zobrazit všechny knihy vydavatele World Scientific Publishing Co Pte Ltd
Naše tipy
Kniha Variace

Variace

Cena od 399 Kč

  Chci koupit
Kniha Sojka Sekáč

Sojka Sekáč

Cena od 349 Kč

  Chci koupit
Kniha Naušika z Větrného údolí 2

Naušika z Větrného údolí 2

Cena od 239 Kč

  Chci koupit
Kniha Českomoravská vysočina

Českomoravská vysočina

  Chci koupit
Dvůr touhy a zlata
Dvůr touhy a zlata
Eliza Raine
  Chci koupit
Dvůr touhy a zlata - Eliza Raine

Dokáže obyčejná zlatonoška porazit mocné vladaře a přežít? Hrozby na Dvoře stínů narůstají. Netýkají se přitom jen zlatonošky Reyny, ale také faeského prince Mazrita, který ji nejdříve unesl, aby se s ní posléze zasnoubil. Navzdory pověstem však Reyna brzy poznala jeho pravou tvář. Ačkoli je drsný a krutý, je také vášnivý, nezkrotný… a teď navíc přišel o magickou moc. Jeho nevlastní matka, královna Dvora stínů, zatím spřádá své temné plány. K Mazritovým třicátým narozeninám vyhlásí hry zvané Leikmot a jako šampionku určí Reynu, zdánlivě obyčejnou smrtelnici, aby ponížená zemřela během festivalu. Reyna, která se odmítá podvolit královnině zvůli, zatím hledá způsob, jak zlomit Mazritovu kletbu. Nemrtvá monstra, šílená královna, magické kletby i tajemství obestírající prastarou rytinu soupeří o to, kdo jako první zničí oba milence. Bude však vítězství ve hrách stačit, aby si Reyna zachránila život? Nebo je Leikmot pouhou zástěrkou k něčemu mnohem děsivějšímu, co pro ni a prince Mazrita královna teprve chystá?