{"product_id":"logic-in-computer-science-modelling-and-reasoning-about-systems-michael-huth-imperial-college-of-science-technology-and-medicine-london-9780521543101","title":"Logic in Computer Science: Modelling and Reasoning about Systems","description":"\u003cp\u003e\u003cstrong\u003eJärjestelmien mallintaminen ja päättely\u003c\/strong\u003e Michael Huth on oppikirja formaalista päättelystä tietojenkäsittelytieteessä. Se keskittyy menetelmiin mallintaa, spesifioida ja verifioida järjestelmiä painottaen formaaleja tekniikoita ja mallintarkistusta.\u003c\/p\u003e\u003cp\u003eTä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.\u003c\/p\u003e\u003ch3\u003eOminaisuudet\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003eTekijä: Michael Huth (Imperial College London)\u003c\/li\u003e\u003cli\u003eKustantaja: Cambridge University Press\u003c\/li\u003e\u003cli\u003eSidostapa: Trade paperback (USA)\u003c\/li\u003e\u003cli\u003eJulkaisupäivä: 26. elokuuta 2004\u003c\/li\u003e\u003cli\u003eSivumäärä: 440\u003c\/li\u003e\u003cli\u003eISBN: 9780521543101\u003c\/li\u003e\u003cli\u003eAihe: Laskennan matemaattinen teoria\u003c\/li\u003e\u003cli\u003eBISAC: TIETOKONEET \/ Koneen teoria\u003c\/li\u003e\u003cp\u003e\u003c\/p\u003e\u003c\/ul\u003e","brand":"Intertaal","offers":[{"title":"Default Title","offer_id":56354508177748,"sku":"9780521543101","price":64.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0967\/0538\/0692\/files\/logic-computer-science-modelling-and-reasoning-about-systems-boek-442.webp?v=1783595790","url":"https:\/\/intertaalid.nl\/fi\/products\/logic-in-computer-science-modelling-and-reasoning-about-systems-michael-huth-imperial-college-of-science-technology-and-medicine-london-9780521543101","provider":"Intertaal","version":"1.0","type":"link"}