Logic of Programming and Calculi of Discrete Design | DealShopping Deutschland

Logic of Programming and Calculi of Discrete Design

53.49 EUR

Ein umfassendes Lehrbuch, das die Verbindung zwischen mathematischer Logik und diskreter Programmierung beleuchtet. Es führt systematisch durch Aussagenlogik, Mengenlehre, Relationen, Funktionen, formale Beweisführung und deren Anwendung in Algorithmenanalyse sowie Softwareverifikation.

Teilen: