Pay in 4 interest-free payments of $15.63 Learn more
Ships within 48 hours · Estimated delivery Oct 8 - Oct 13
adviseur en samenwerkingspartner
and from water management to postcolonial diversity
learning and teaching is easy
The second edition has been fully updated and is written by authors with expertise in IT auditing
Work: Supports professional communication skills
Logic in Computer Science: Modelling and Reasoning about Systems science adviseur en samenwerkingspartnerModelling 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
US$ 99.99
US$ 51.95
US$ 37.95
US$ 15.50
US$ 54.95
US$ 39.95
