Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Fundamental Proof Methods in Computer Science Konstantine Arkoudas

Fundamental Proof Methods in Computer Science

Autor: Konstantine Arkoudas, David Musser
Jazyk: Angličtina
Vazba: Pevná
Vydavatel: MIT Press Ltd
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 11-15 dnů
1 545 Kč
A textbook that teaches students to read and write proofs using Athena.

Informace o knize

Autor
Konstantine Arkoudas, David Musser
Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2017
Stránek
976
EAN
9780262035538
ISBN
9780262035538
Enbook ID
14526938
Vydavatel
MIT Press Ltd
Hmotnost
1770
Rozměry
284 x 213 x 40

Kompletní popis

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

Mohlo by vás zajímat

Misunderstanding in Social Life

Julianne House
966 Kč

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

Mitch Grant
331 Kč

Vivaan's Reading Log

Martha Day Zschock
185 Kč

Advanced Capitalist System

Lynn Turgeon
1 314 Kč

The Queen of Spades

G Michael Blahnik
290 Kč

Santa Monica Disposal & Salvage

Penny Perry
280 Kč

Chasing Angels: A Misty Rush Novel

Bobby Q Budrock
210 Kč

Fairies and Angels Coloring Book for Grown-Ups 1

Nick Snels
230 Kč

Professional Music-Making in London

Stephen Cottrell
4 690 Kč

Algorithmic Aspects of Machine Learning

Ankur (Massachusetts Institute of Technology) Moitra
2 177 Kč

Barnabas The Bad-Mannered Bulldog

Chris Gray
307 Kč

The Antient Bee-Master's Farewell

John Keys
513 Kč

Oresama Teacher, Vol. 10

Izumi Tsubaki
169 Kč

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
190 Kč

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

John McClure
278 Kč

My Spelling Workbook Book B

RIC Publications
321 Kč

Act Like You Mean It

Sanders Shae Sanders
190 Kč

Chances

Jackie Collins
241 Kč

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

Lucky
307 Kč

Shadows in Amber

Thomas K. Carpenter
771 Kč

I Am Not Dead

Manuel Tristante
72 Kč

Recommender Systems for Sustainability and Social Good

Ludovico Boratto
1 830 Kč

Urban Transformations in the U.S.A.

Julia Sattler
741 Kč

Politics of Electoral Reform

Alan Renwick
2 894 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Stavební technologie I. pro SOU

Otomar Tibitanzl
254 Kč

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

Angelika Beck
259 Kč

Tisíc úderov srdca

Kiera Cassová
376 Kč

LETTERING

VVAA
147 Kč

Mehr Resilienz in meinem Kita-Alltag

Alexandra Karr-Meng
339 Kč

Reise durch Bolivien

Karl-Heinz Raach
398 Kč

Die Tyrannei der Minderheit

Daniel Ziblatt
497 Kč

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

М. Кордакова
248 Kč

Demian

HESSE
182 Kč

Testsuttogás (Hungarian)

Dr. Dain Heer
400 Kč

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

Adolf Georg Carl Lincke
259 Kč

Peninsule

Michael Coney
321 Kč

Anniversaire D'Enfer(l')

Sauquere V'Ronique
208 Kč

Briefwechsel Paul Celan / Peter Szondi

Paul Celan
726 Kč

Contemplar la cruz

José Luis Cabriá Ortega
315 Kč

Ajedrez y refranes

Agustín García Luque
413 Kč

Electricidad Basica, Volume 4 = Basic Electricity

Van Valkenburgh
308 Kč

Grundriss der Geschichte der englischen Literatur

Gustav Körting
964 Kč

Život svaté Kateřiny

Eduard Petrů
259 Kč

Du côté de la vie

Marie-Françoise Hans
825 Kč

Mały zegar do nauki godzin

109 Kč

Die Wasserräder und Turbinen - ihre Berechnung und Konstruktion

H. Henne
710 Kč

Unterwegs

Silke Bartlick
397 Kč

LA BANDA DEL PICA PAU

YAN SCHENKEL
463 Kč