Logic in Computer Science: Modelling and Reasoning about Systems science The second edition has been

The second edition has been fully updated and is written by authors with expertise in IT auditing

The work is imbued with powerful biblical imagery and grew into a classic anti-slavery book in which Douglass carefully shaped his life story and image

adviseur en samenwerkingspartner

This revised edition includes user suggestions and updated images and text

Logic in Computer Science: Modelling and Reasoning about Systems science The second edition has beenModelling and Reasoning about Systems van Michael Huth is een studieboek over formeel redeneren binnen de computerwetenschap. Het richt zich op methoden voor het modelleren, specificeren en verifiren van systemen met een focus op formele technieken en model checking. Deze tweede editie biedt een grondige introductie in formeel redeneren, aangepast aan de actuele behoeften van de informatica. De tekst is uitgebreid met nieuwe en uitgebreide