Logic in Computer Science, 2nd Edition, offers a lucid and rigorous introduction to formal reasoning tailored for the modern computer science landscape. In an era where robust methods for verifying hardware and software systems are indispensable, this textbook provides essential training that meets the growing demand for logic-based verification techniques. The clear presentation of core concepts in formal reasoning makes it an invaluable resource for students and practitioners alike. Building on the success of its first edition, this edition includes significant enhancements throughout. Expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract, and total correctness ensure that the material is both comprehensive and up-to-date. The updated coverage of model-checking and the addition of further exercises enhance its practical application, while supplementary online resources provide worked and model solutions to support both teaching and self-study.
Studiesalg.dk er en markedsplads hvor studerende i hele landet kan handle direkte med
hinanden.
Vores betalingsystem sikrer, at du både som køber og sælger er beskyttet, i alt lige fra
betaling, forsendelse og godkendelse af bøgerne.
Vi kræver MitID verificering af både sælger og køber. Dette er med til at sikre begge parter en god oplevelse og undgå svindel af enhver art.
Betal online med MobilePay. Vi opbevarer betalingen, og udbetaler først pengene til sælger når bøgerne er leveret og godkendt.
Sælg nemt dine bøger videre når du ikke længere har brug for dem. Med vores web-app er det nemt at scanne stregkoder og tage billeder af dine bøger.
