Uus: Uus, lugemata, kasutamata raamat, ideaalses korras, ilma puuduvate või kahjustatud lehtedeta. Vaata ... Loe seisukorra kohta lähemaltUus: Uus, lugemata, kasutamata raamat, ideaalses korras, ilma puuduvate või kahjustatud lehtedeta. Täieliku teabe saamiseks vaadake müüja nimekirja. Kõigi tingimuste definitsioonide vaatamine avaneb uues aknas või vahekaardil
Arvutipõhine arutluskäik: ACL2 juhtumiuuringud illustreerivad, kuidas arvutipõhist arutlussüsteemi ACL2 saab kasutada produktiivsetel ja uuenduslikel viisidel riist- ja tarkvarasüsteemide kavandamisel, ehitamisel ja hooldamisel. Siia kuuluvad 21 kaastöölise kirjutatud tehnilised dokumendid, mis kajastavad iseseisvaid juhtumiuuringuid, millest mõned on puhastatud tööstusprojektid. Aruanded käsitlevad väga erinevaid ideid, sealhulgas ujukomaaritmeetikat, mikroprotsessori simulatsiooni, mudelite kontrollimist, sümboolsete trajektooride hindamist, koostamist, tõendite kontrollimist, reaalset analüüsi ja mitmeid teisi. Arvutipõhine arutluskäik: ACL2 juhtumiuuringud on mõeldud kahele sihtrühmale: neile, kes otsivad uuenduslikke viise riist- ja tarkvarasüsteemide kiiremaks ja usaldusväärsemaks kujundamiseks, ehitamiseks ja hooldamiseks, ning neile, kes soovivad õppida seda tegema. Endisesse auditooriumi kuuluvad projektijuhid ja küsitlusele orienteeritud kursuste üliõpilased. Viimane sihtrühm hõlmab tudengeid ja spetsialiste, kes järgivad ranget lähenemist riist- ja tarkvaratehnikale või ametlikele meetoditele. Arvutipõhine arutluskäik: ACL2 juhtumiuuringuid saab kasutada magistriõppe ja kõrgema osakonna bakalaureuseõppe kursustel tarkvaratehnika, formaalsete meetodite, riistvaradisaini, arvutusteooria, tehisintellekti ja automatiseeritud mõtlemise teemadel. Raamat on jagatud kaheks osaks. I osa algab aruteluga ACL2 kasutamisega seotud jõupingutuste üle. See sisaldab ka lühitutvustus ACL2 loogikast ja selle mehhaniseerimisest, mille eesmärk on anda lugejale juhtumiuuringute lugemiseks piisav taust. Põhjalikuma õpiku sissejuhatuse ACL2 kohta võib leida kaasraamatust Arvutipõhine põhjendus: lähenemine. Raamatu keskmes on II osa, kus esitletakse juhtumiuuringuid. Juhtumiuuringud sisaldavad harjutusi, mille lahendused on veebis. Lisaks on veebis täielikud ACL2 skriptid, mis on vajalikud mudelite vormistamiseks ja kõigi käsitletud omaduste tõestamiseks. Näiteks kui me ütleme, et üks juhtumiuuringutest vormistab ujukoma kordaja ja tõestab selle õigsust, siis me ei pea silmas mitte ainult seda, et saate lugeda mudeli ingliskeelset kirjeldust ja seda, kuidas see õigeks tõestati, vaid saate kogu projekti ametlikku sisu ja esitage proovid uuesti, kui soovite, oma ACL2 koopiaga. ACL2 saab hankida selle kodulehelt. Sellel lehel on saadaval iga juhtumiuuringu tulemused ACL2 sisendskriptidena ja mõlema raamatu harjutuslahendused.
Produkta detaļas
10 vienības:
Datu lapa
Tips
Mācību grāmata
Autors
J Strother Moore, Panagiotis Manolios, Matt Kaufmann
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Ļoti labā stāvoklī -Grāmata, kas ir izlasīta un neizskatās jauna, taču ir lieliskā stāvoklī. Grāmatas vākam nav acīmredzamu bojājumu. Nav trūkstošu vai bojātu lappušu, bez krokām vai plīsumiem, bez teksta pasvītrošanas vai izcelšanas, kā arī bez rakstīšanas uz piemalēm.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Ļoti labā stāvoklī -Grāmata, kas ir izlasīta un neizskatās jauna, taču ir lieliskā stāvoklī. Grāmatas vākam nav acīmredzamu bojājumu. Nav trūkstošu vai bojātu lappušu, bez krokām vai plīsumiem, bez teksta pasvītrošanas vai izcelšanas, kā arī bez rakstīšanas uz piemalēm.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
17,97 €
Uus: Uus, lugemata, kasutamata raamat, ideaalses korras, ilma puuduvate või kahjustatud lehtedeta. Vaata ... Loe seisukorra kohta lähemaltUus: Uus, lugemata, kasutamata raamat, ideaalses korras, ilma puuduvate või kahjustatud lehtedeta. Täieliku teabe saamiseks vaadake müüja nimekirja. Kõigi tingimuste definitsioonide vaatamine avaneb uues aknas või vahekaardil