Logic And Language Models For Computer Science (Third Edition)
Häftad, Engelska, 2017
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
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Logic And Language Models For Computer Science (Fourth Edition)
Dana Richards, Henry Hamburger
Inbunden
2 189 kr
Dear Martin / Dear Marcello: Gardner And Truzzi On Skepticism
Richards Dana, Dana Richards
Inbunden
1 489 kr
Dear Martin / Dear Marcello: Gardner And Truzzi On Skepticism
Richards Dana, Dana Richards
Häftad
829 kr
Hoppa över listan
Du kanske också är intresserad av
Logic And Language Models For Computer Science (Third Edition)
Dana Richards, Henry Hamburger
Inbunden
1 739 kr
Logic And Language Models For Computer Science (Fourth Edition)
Dana Richards, Henry Hamburger
Inbunden
2 189 kr
Dear Martin / Dear Marcello: Gardner And Truzzi On Skepticism
Richards Dana, Dana Richards
Inbunden
1 489 kr
Dear Martin / Dear Marcello: Gardner And Truzzi On Skepticism
Richards Dana, Dana Richards
Häftad
829 kr
- Nyhet
- Nyhet
Del 4
- Nyhet