Neceri atbrīvoties no grāmatām (Umberto Eko)
+371 27000041, +371 27000045
(darba dienās 9:00-17:00 latviešu)
+371 27000041
+371 27000045

(darba dienās 10:00-17:00)

Programmas pareizības pierādījums

49.99 €
Pieejams tikai 2
Programmas pareizības pierādījums
49.99 €
Ielikt grozā
Šī grāmata māca, kā formāli spriest par datorprogrammām, izmantojot secīgu pieeju un Dafny programmēšanas valodu, kas atbalsta verifikāciju. Tajā parādīts, kā rakstīt programmu specifikācijas, kā izpildīt šo specifikāciju prasības un kā rakstīt programmu pareizības pierādījumus attiecībā uz specifikācijām. Vispirms autors iepazīstina ar teorētisko pamatojumu, kas ir programmu koda argumentācijas pamatā, un pēc tam pakāpeniski pāriet pie reālās pasaules piemēriem, izmantojot objektus, datu struktūras un netriviālu rekursiju.
Grāmatas iezīmes:
- Grāmata ir rakstīta vienkāršā un viegli saprotamā valodā;
- pakāpeniski ievieš arvien sarežģītākus jēdzienus;
- skaidri parāda, kā rakstīt pierādījumus, kā arī kā definēt un pārbaudīt funkcionālās un imperatīvās programmas;
- sniedz programmēšanas koda piemērus reālā programmēšanas valodā, nevis pseidokodu;
- satur jautras ilustrācijas un mācību uzdevumus.
Izdevums būs noderīgs augstskolu studentiem, pasniedzējiem, formālās verifikācijas jomas pētniekiem un to uzņēmumu darbiniekiem, kuri praksē izmanto deduktīvo verifikāciju.
Skatīt arī:

Jums varētu būt interesanti:

Переход в облако. Практическое руководство по организации облачных вычислений для ученых и IT-специалистов
Informācijas tehnoloģijas
Pāreja uz mākoni. Praktiska mākoņdatošanas rokasgrāmata zinātniekiem un IT profesionāļiem
Anielle Huana, Montess Djego, Iglesiass Havjers Rodeiro
14.99 €
Ielikt grozā
Разработка требований  к программному обеспечению
Informācijas tehnoloģijas
Programmatūras prasību izstrāde
Wiggers Carl, Beatty Joy
29.99 €
Ielikt grozā
Начинаем программировать на Python
Informācijas tehnoloģijas
Darba sākšana ar Python programmēšanu
Gaddis Tony
49.99 €
Ielikt grozā
Совершенный код. Практическое руководство по разработке программного обеспечения
Informācijas tehnoloģijas
Perfekts kods. Praktiska rokasgrāmata programmatūras izstrādē
McConnell Steve
49.99 €
Ielikt grozā