Draugi, esam saņēmuši daudz pasūtījumu, paldies! Mēs tos izmēģinām apstrādāt un nosūtīt pēc iespējas ātrāk. Pasūtījuma apstrādes laiks var atšķirties palielināt.
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:

Разработка требований  к программному обеспечению
Informācijas tehnoloģijas
Programmatūras prasību izstrāde
Vigers Karls, Bītijs Džojs
29.99 €
Ielikt grozā
Совершенный код. Практическое руководство по разработке программного обеспечения
Informācijas tehnoloģijas
Kods pabeigts: praktisks programmatūras izstrādes ceļvedis
Makkonels Stīvs
49.99 €
Ielikt grozā
Алгоритмы. Руководство по разработке
Informācijas tehnoloģijas
Algoritmi: izstrādes rokasgrāmata
Skiena Stefans
39.99 €
Ielikt grozā