Sistema Avtomaticheskogo Poiska Invarianta Tsikla: Problema, Analiz I Realizatsiya - Yuriy Korablin - Books - LAP LAMBERT Academic Publishing - 9783659521751 - February 19, 2014
In case cover and title do not match, the title is correct

Yuriy Korablin
Sistema Avtomaticheskogo Poiska Invarianta Tsikla: Problema, Analiz I Realizatsiya Russian edition

Price
€ 33.99

Ordered from remote warehouse

Expected delivery Nov 25 - Dec 3
Christmas presents can be returned until 31 January
Get notified about new Yuriy Korablin releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Zadacha verifikatsii programmnogo obespecheniya stanovitsya segodnya vse bolee vostrebovannoy, tak kak slozhnost' programmnykh sistem s kazhdym dnem postoyanno rastet, i my vse bol'she stalkivaemsya s temi ili inymi sboyami v ikh rabote. Invariantom v programmirovanii nazyvaetsya logicheskoe vyrazhenie, zavisyashchee ot peremennykh v tele tsikla i istinnoe, kak pered ego vypolneniem, tak i posle. Znanie invarianta dlya konkretnogo tsikla pozvolyaet vypolnit' proverku na korrektnost' ego raboty. V dannoy knige delaetsya popytka razrabotki takoy programmnoy sistemy, kotoraya pozvolila by realizovat' avtomaticheskiy poisk invariantov dlya konkretno zadannykh tsiklov i chastichno avtomatizirovat' protsess verifikatsii programm. Dannaya kniga budet interesna i polezna, kak opytnym programmistam, tak i tem, kto prosto interesuetsya problemoy verifikatsii programmnogo obespecheniya.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 19, 2014
ISBN13 9783659521751
Publishers LAP LAMBERT Academic Publishing
Pages 72
Dimensions 150 × 4 × 225 mm   ·   125 g
Language German  

See all of Yuriy Korablin