Andere Kunden interessierten sich auch für
![Sistema awtomaticheskogo sinteza konechnyh awtomatow]( "Sistema awtomaticheskogo sinteza konechnyh awtomatow")
Sistema awtomaticheskogo sinteza konechnyh awtomatow40,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 domena26,99 €![Metapoiskowaq sistema AVQUICK dlq bystrogo poiska audio-wideo fajlow]( "Metapoiskowaq sistema AVQUICK dlq bystrogo poiska audio-wideo fajlow")
Metapoiskowaq sistema AVQUICK dlq bystrogo poiska audio-wideo fajlow26,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 obucheniq15,99 €![Metod awtomaticheskogo wydeleniq granic na monohromnyh izobrazheniqh]( "Metod awtomaticheskogo wydeleniq granic na monohromnyh izobrazheniqh")
Metod awtomaticheskogo wydeleniq granic na monohromnyh izobrazheniqh39,99 €![Metod poiska puti intellektual'nym agentom]( "Metod poiska puti intellektual'nym agentom")
Metod poiska puti intellektual'nym agentom39,99 €![Uspewaemost' studentow: Perspektiwa poiska dannyh]( "Uspewaemost' studentow: Perspektiwa poiska dannyh")
Uspewaemost' studentow: Perspektiwa poiska dannyh26,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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.