Menu
Află starea comenzii
Contactați-ne
Carte Fundamental Proof Methods in Computer Science Konstantine Arkoudas

Fundamental Proof Methods in Computer Science

Autor: Konstantine Arkoudas, David Musser
Limbă: engleză
Legare: Copertă tare
Editura: MIT Press Ltd
Disponibilitate: În depozitul extern în cantități mici
Expediem în 11-15 zile
349.61 lei
A textbook that teaches students to read and write proofs using Athena.

Informații despre carte

Autor
Konstantine Arkoudas, David Musser
Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2017
Pagini
976
EAN
9780262035538
ISBN
9780262035538
Enbook ID
14526938
Editura
MIT Press Ltd
Greutate
1770
Dimensiuni
284 x 213 x 40

Descriere completă

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

S-ar putea să te intereseze

Misunderstanding in Social Life

Julianne House
228.90 lei

Fairies and Angels Coloring Book for Grown-Ups 1

Nick Snels
55.35 lei

Portrait of a Romance

Charles Entrekin
65.65 lei

Yolo

Sam Jones
51.91 lei

Vivaan's Reading Log

Martha Day Zschock
45.45 lei

Shadows in Amber

Thomas K. Carpenter
184.25 lei

Visual Effects for Indie Filmmakers

Holmes
316.99 lei

Advanced Capitalist System

Lynn Turgeon
314.86 lei

A Redemptive Path Forward: From Incarceration to a Life of Activism

Lucky
71.31 lei

The Queen of Spades

G Michael Blahnik
69.59 lei

Santa Monica Disposal & Salvage

Penny Perry
67.27 lei

Chasing Angels: A Misty Rush Novel

Bobby Q Budrock
50.30 lei

Let Earth Receive Her King: A collection for Advent and Christmas

Rev Alfred Flatten
45.65 lei

I Am Not Dead

Manuel Tristante
15.55 lei

Professional Music-Making in London

Stephen Cottrell
1 111.39 lei

Algorithmic Aspects of Machine Learning

Ankur (Massachusetts Institute of Technology) Moitra
496.90 lei

Chances

Jackie Collins
64.34 lei

Barnabas The Bad-Mannered Bulldog

Chris Gray
73.23 lei

Act Like You Mean It

Sanders Shae Sanders
45.65 lei

The Antient Bee-Master's Farewell

John Keys
136.97 lei

My Spelling Workbook Book B

RIC Publications
76.16 lei

Requiem of a Champion: Two Seconds from Glory: A Racer's Reflections and Remembrances

Mitch Grant
79.49 lei

Class of 2032: Funny Back To School notebook, Gift For Girls and Boys,109 College Ruled Line Paper, Cute School Notebook, School Grad

Omi Kech
45.65 lei

The Old and New South.: Address of Judge John McClure Before the Lincoln Club, Little Rock, Ark., January 14, 1891

John McClure
68.58 lei

Clienții care au cumpărat această carte au mai cumpărat și

Stavební technologie I. pro SOU

Otomar Tibitanzl
62.72 lei

Mehr Resilienz in meinem Kita-Alltag

Alexandra Karr-Meng
90.40 lei

LETTERING

VVAA
33.83 lei

Dascha, Jadwigas Maus - Eine farbig illustrierte märchenhafte Erzählung für Erwachsene

Angelika Beck
56.15 lei

Tisíc úderov srdca

Kiera Cassová
71.41 lei

Die Tyrannei der Minderheit

Daniel Ziblatt
131.72 lei

Я знаю, что я ем! Овощи

М. Кордакова
53.83 lei

Awantura. Malutki Lisek i Wielki Dzik. Tom 10

Wauter Mannaert
39.08 lei

Testsuttogás (Hungarian)

Dr. Dain Heer
105.35 lei

Electricidad Basica, Volume 4 = Basic Electricity

Van Valkenburgh
74.64 lei

Demian

HESSE
50.50 lei

Reise durch Bolivien

Karl-Heinz Raach
96.97 lei

Die Wasserräder und Turbinen - ihre Berechnung und Konstruktion

H. Henne
181.72 lei

Peninsule

Michael Coney
69.59 lei

Anniversaire D'Enfer(l')

Sauquere V'Ronique
45.04 lei

Briefwechsel Paul Celan / Peter Szondi

Paul Celan
157.38 lei

Contemplar la cruz

José Luis Cabriá Ortega
68.38 lei

Ajedrez y refranes

Agustín García Luque
89.59 lei

Du côté de la vie

Marie-Françoise Hans
195.66 lei

Grundriss der Geschichte der englischen Literatur

Gustav Körting
235.16 lei

Život svaté Kateřiny

Eduard Petrů
59.99 lei

Geschichte der St. Johannis-Loge zu den drei Zirkeln fruher la parfaite union im Oriente Stettin

Adolf Georg Carl Lincke
96.16 lei

Mały zegar do nauki godzin

23.53 lei

Unterwegs

Silke Bartlick
96.76 lei