Logic And Language Models For Computer Science (Third Edition)

Name: Logic And Language Models For Computer Science (Third Edition)
Brand: World Scientific Publishing Co Pte Ltd
SKU: 9789813229204
Price: 548.58 RON
Availability: InStock

Autor: Dana Richards, Henry Hamburger

Limbă:

Legare: Copertă tare

Editura: World Scientific Publishing Co Pte Ltd

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

548.58 lei

This text presents the formal concepts underlying Computer Science.It starts with a wide introductio...

Informații despre carte

Autor

Dana Richards, Henry Hamburger

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2017

Pagini

468

EAN

9789813229204

ISBN

9813229209

Enbook ID

17647496

Editura

World Scientific Publishing Co Pte Ltd

Greutate

820

Dimensiuni

157 x 235 x 30

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic And Language Models For Computer Science (Third Edition)

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și