Programmas pareizības pierādījums
49.99 €
Pieejams tikai 2
Šī 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.
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ī:
- Visas izdevniecības grāmatas
- Visas autora grāmatas
Jums varētu būt interesanti:

Informācijas tehnoloģijas
Pāreja uz mākoni. Praktiska mākoņdatošanas rokasgrāmata zinātniekiem un IT profesionāļiem
14.99 €

Informācijas tehnoloģijas
Perfekts kods. Praktiska rokasgrāmata programmatūras izstrādē
49.99 €