Name: The Calculus of Computation
Price: 828.95 DKK
Availability: InStock
Author: Zohar Manna
ISBN: 9783540741121

The Calculus of Computation af Zohar Manna

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
828,95 kr.

Bag om The Calculus of Computation

Written with graduate and advanced undergraduate students in mind, 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.

Vis mere

Sprog:
Engelsk

ISBN:
9783540741121

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

Indbinding:
Hardback

Sideantal:
366

Udgivet:
3. september 2007

Udgave:
2007

Størrelse:
241x164x28 mm.

Vægt:
730 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 28. november 2024

Normalpris

BLACK NOVEMBER
828,95 kr. + Fragt
~~828,95 kr.~~

Medlemspris

778,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Zohar Manna

Vis alle bøger af Zohar Manna

Beskrivelse af The Calculus of Computation

Written with graduate and advanced undergraduate students in mind, 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.

Brugerbedømmelser af The Calculus of Computation

Andre købte også..

Find lignende bøger

Bogen The Calculus of Computation findes i følgende kategorier:

Business og læring > Computer og IT

The Calculus of Computation - Zohar Manna - Bog

Bag om Zohar Manna

Beskrivelse af The Calculus of Computation

Brugerbedømmelser af The Calculus of Computation

Gør som tusindvis af andre bogelskere