Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science - Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg) - Bøker - MIT Press Ltd - 9780262035538 - 5. mai 2017
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)
Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science

Pris
NOK 559

Bestillingsvarer

Forventes levert 20. okt - 12. nov
Få varsel om nye utgivelser fra Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

A textbook that teaches students to read and write proofs using Athena.

976 pages, 28 b&w illus.

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 5. mai 2017
ISBN13 9780262035538
Utgivere MIT Press Ltd
Antall sider 976
Mål 284 × 213 × 40 mm   ·   1,68 kg

Mer fra samme **utgiver**

Se alt med Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)