Logic And Language Models For Computer Science (Third Edition)
Häftad, Engelska, 2017
Av Dana Richards, Henry Hamburger, Usa) Richards, Dana (George Mason Univ, Usa) Hamburger, Henry (George Mason Univ, RICHARDS DANA, Richards Dana
1 079 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
Produktinformation
- Utgivningsdatum2017-10-24
- Mått359 x 187 x 26 mm
- Vikt680 g
- FormatHäftad
- SpråkEngelska
- Antal sidor468
- FörlagWorld Scientific Publishing Co Pte Ltd
- ISBN9789813230507