Mathematical Logic for Computer Science - Mordechai Ben-Ari - Böcker - Springer London Ltd - 9781447141280 - 17 juni 2012
Om omslag och titel inte matchar är det titeln som gäller

Mathematical Logic for Computer Science 3rd ed. 2012 edition

Pris
SEK 639

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.


354 pages, 79 black & white illustrations, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 17 juni 2012
ISBN13 9781447141280
Utgivare Springer London Ltd
Antal sidor 346
Mått 153 × 231 × 19 mm   ·   558 g
Språk Engelska  

Fler produkter med Mordechai Ben-Ari

Visa alla