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: 100.01 EUR
Availability: InStock

Автор: Dana Richards, Henry Hamburger

Език:

Корици: С твърди корици

Издател: World Scientific Publishing Co Pte Ltd

Наличност: Външен склад

Изпращаме след 9-15 дни

100.01 € 195.60 лв

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

Информация за книгата

Автор

Dana Richards, Henry Hamburger

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2017

страници

468

EAN

9789813229204

ISBN

9813229209

Enbook ID

17647496

Издател

World Scientific Publishing Co Pte Ltd

Теглоt

820

Размери

157 x 235 x 30

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logic And Language Models For Computer Science (Third Edition)

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също