Järjestelmien mallintaminen ja päättely Michael Huth on oppikirja formaalista päättelystä tietojenkäsittelytieteessä. Se keskittyy menetelmiin mallintaa, spesifioida ja verifioida järjestelmiä painottaen formaaleja tekniikoita ja mallintarkistusta.
Tämä toinen painos tarjoaa perusteellisen johdannon formaaliin päättelyyn ja on mukautettu tietojenkäsittelytieteen ajankohtaisiin tarpeisiin. Tekstiin on lisätty uusia ja laajennettuja lukuja SAT-ratkaisijoista, toisen kertaluvun logiikasta, mikro-malleista ja ohjelmien verifioinnista. Sisältö tukee opiskelijoita ja ammattilaisia selkeillä selityksillä ja lisäharjoituksilla, mukaan lukien verkkoratkaisut.
Ominaisuudet
- Tekijä: Michael Huth (Imperial College London)
- Kustantaja: Cambridge University Press
- Sidostapa: Trade paperback (USA)
- Julkaisupäivä: 26. elokuuta 2004
- Sivumäärä: 440
- ISBN: 9780521543101
- Aihe: Laskennan matemaattinen teoria
- BISAC: TIETOKONEET / Koneen teoria