Andere Kunden interessierten sich auch für
![Sistema awtomaticheskogo sinteza konechnyh awtomatow]( "Sistema awtomaticheskogo sinteza konechnyh awtomatow")
Sistema awtomaticheskogo sinteza konechnyh awtomatow36,99 €![Veb-majnding: sistema poiska informacii s pomosch'ü web-kraulera na osnowe domena]( "Veb-majnding: sistema poiska informacii s pomosch'ü web-kraulera na osnowe domena")
Veb-majnding: sistema poiska informacii s pomosch'ü web-kraulera na osnowe domena23,99 €![Sistema poiska izobrazhenij na osnowe kontenta s ispol'zowaniem mashinnogo obucheniq]( "Sistema poiska izobrazhenij na osnowe kontenta s ispol'zowaniem mashinnogo obucheniq")
Sistema poiska izobrazhenij na osnowe kontenta s ispol'zowaniem mashinnogo obucheniq13,99 €![Metod awtomaticheskogo wydeleniq granic na monohromnyh izobrazheniqh]( "Metod awtomaticheskogo wydeleniq granic na monohromnyh izobrazheniqh")
Metod awtomaticheskogo wydeleniq granic na monohromnyh izobrazheniqh36,99 €![Metod poiska puti intellektual'nym agentom]( "Metod poiska puti intellektual'nym agentom")
Metod poiska puti intellektual'nym agentom36,99 €![Uspewaemost' studentow: Perspektiwa poiska dannyh]( "Uspewaemost' studentow: Perspektiwa poiska dannyh")
Uspewaemost' studentow: Perspektiwa poiska dannyh23,99 €![Izuchenie ämocij s pomosch'ü metodow awtomaticheskogo opredeleniq affekta]( "Izuchenie ämocij s pomosch'ü metodow awtomaticheskogo opredeleniq affekta")
Izuchenie ämocij s pomosch'ü metodow awtomaticheskogo opredeleniq affekta16,99 €
Zadacha verifikacii programmnogo obespecheniya stanovitsya segodnya vse bolee vostrebovannoj, tak kak slozhnost' programmnyh sistem s kazhdym dnem postoyanno rastet, i my vse bol'she stalkivaemsya s temi ili inymi sboyami v ih rabote. Invariantom v programmirovanii nazyvaetsya logicheskoe vyrazhenie, zavisyashhee ot peremennyh v tele cikla i istinnoe, kak pered ego vypolneniem, tak i posle. Znanie invarianta dlya konkretnogo cikla pozvolyaet vypolnit' proverku na korrektnost' ego raboty. V dannoj knige delaetsya popytka razrabotki takoj programmnoj sistemy, kotoraya pozvolila by realizovat' avtomaticheskij poisk invariantov dlya konkretno zadannyh ciklov i chastichno avtomatizirovat' process verifikacii programm. Dannaya kniga budet interesna i polezna, kak opytnym programmistam, tak i tem, kto prosto interesuetsya problemoj verifikacii programmnogo obespecheniya.