Sälj dina kursböcker, vinn presentkort på 1000 kr. Kom igång här
Logic in Computer Science | 2:a upplagan
- Pocket, Engelska, 2004
- Författare: Michael Huth, Mark Ryan
- Betyg:
Välj skick:
Bästa pris
563
kr
Skickas nästa vardag
Du sparar 128 kr
(19%)
mot nypris
691
kr
Skickas inom 0-2 vardagar
500
kr
Skickas från säljare inom 0-2 vardagar
Jasmine
, Västerås
Verifierad säljare
Du sparar 191 kr
(28%)
mot nypris
Butikslager
Onlinelager
5 st i lager
Beskrivning
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
Om denna bok
Logic in Computer Science av Michael Huth och Mark Ryan är en Pocket bok med 427 sidor på Engelska. Detta är den 2:a upplagan som utgavs 2004 av Cambridge University Press.
Spara pengar – köp begagnad från Campusbokhandeln
Köp Logic in Computer Science begagnad från Campusbokhandeln och spara upp till 28% jämfört med nypris. Begagnade exemplar finns från 500 kr medan nya kostar 691 kr – en besparing på 191 kr. Köp tryggt med Campusbokhandeln.
Genom att köpa & sälja begagnat sänker du kostnaden för studier både för dig och nästa student samtidigt som du gör nytta för klimatet.
Används vid svenska universitet
Denna kurslitteratur används aktivt i 3 universitetskurser vid lärosäten runt om i Sverige, inklusive:
Boken är särskilt populär inom Data & IT-programmen.
Produktinformation
Kategori:
Data & IT
Bandtyp:
Pocket
Språk:
Engelska
ISBN:
9780521543101
Upplaga:
2
Utgiven:
2004-08-26
Förlag:
Cambridge University Press
Sidantal:
427