Calculus of Computation

Name: Calculus of Computation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540741121
Price: 84.0 EUR
Availability: InStock

Автор: Aaron R Bradley

Език:

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

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

Изпращаме след 10-18 дни

84.00 € 164.30 лв

This textbook introduces computational logic from the foundations of first-order logic to state-of-t...

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

Автор

Aaron R Bradley

Език

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

Корици

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

Издадена

2007

страници

366

EAN

9783540741121

ISBN

3540741127

Enbook ID

01294350

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

730

Размери

241 x 164 x 28

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

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Calculus of Computation

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

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

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

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