Calculus of Computation

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

Autor: Aaron R Bradley

Język:

Oprawa: Twarda

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

326.51 zł

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

Informacje o książce

Autor

Aaron R Bradley

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2007

strony

366

EAN

9783540741121

ISBN

3540741127

Enbook ID

01294350

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

730

Wymiary

241 x 164 x 28

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Calculus of Computation

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również