Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Fundamental Proof Methods in Computer Science

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Fundamental Proof Methods in Computer Science Konstantine Arkoudas
Libristo-code: 14526938
Uitgeverij MIT Press Ltd, mei 2017
A textbook that teaches students to read and write proofs using Athena.
? points 173 b
71.51 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Stavební technologie I. pro SOU Otomar Tibitanzl / Boek Gebonden (paperback)
common.buy 12.33 €
Dascha, Jadwigas Maus - Eine farbig illustrierte märchenhafte Erzählung für Erwachsene Angelika Beck / Boek Gebonden (paperback)
common.buy 11.62 €
Voordelig
Tisíc úderov srdca Kiera Cassová / Boek Gebonden (harde band)
common.buy 14.05 €
LETTERING VVAA / Boek Gebonden (paperback)
common.buy 6.67 €
Mehr Resilienz in meinem Kita-Alltag Alexandra Karr-Meng / Boek Blad
common.buy 15.26 €
Reise durch Bolivien Karl-Heinz Raach / Boek Gebonden (harde band)
common.buy 18.00 €
Die Tyrannei der Minderheit Daniel Ziblatt / Boek Gebonden (harde band)
common.buy 22.55 €
Я знаю, что я ем! Овощи М. Кордакова / Boek Gebonden (harde band)
common.buy 11.22 €
Wordt verwacht
Demian HESSE / Boek Gebonden (paperback)
common.buy 8.28 €
TOP
Testsuttogás (Hungarian) Dr. Dain Heer / Boek Gebonden (paperback)
common.buy 19.41 €
Geschichte der St. Johannis-Loge zu den drei Zirkeln fruher la parfaite union im Oriente Stettin Adolf Georg Carl Lincke / Boek Gebonden (paperback)
common.buy 11.72 €
Peninsule Michael Coney / Boek Gebonden (paperback)
common.buy 13.65 €
Anniversaire D'Enfer(l') Sauquere V'Ronique / Boek Gebonden (paperback)
common.buy 8.79 €
Briefwechsel Paul Celan / Peter Szondi Paul Celan / Boek Gebonden (harde band)
common.buy 32.56 €
Contemplar la cruz José Luis Cabriá Ortega / Boek Gebonden (paperback)
common.buy 13.44 €
Ajedrez y refranes Agustín García Luque / Boek Gebonden (paperback)
common.buy 17.59 €
Electricidad Basica, Volume 4 = Basic Electricity Van Valkenburgh / Boek Gebonden (paperback)
common.buy 13.95 €
Grundriss der Geschichte der englischen Literatur Gustav Körting / Boek Gebonden (paperback)
common.buy 43.59 €
Život svaté Kateřiny Eduard Petrů / Boek Gebonden (harde band)
common.buy 11.72 €
Du côté de la vie Marie-Françoise Hans / Boek Boek
common.buy 36.81 €
Mały zegar do nauki godzin / Spel/speelgoed Speelgoed
common.buy 4.64 €
Die Wasserräder und Turbinen - ihre Berechnung und Konstruktion H. Henne / Boek Gebonden (paperback)
common.buy 32.06 €
Unterwegs Silke Bartlick / Boek Gebonden (paperback)
common.buy 17.89 €
LA BANDA DEL PICA PAU YAN SCHENKEL / Boek Gebonden (harde band)
common.buy 20.83 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Fundamental Proof Methods in Computer Science
Auteur Konstantine Arkoudas, David Musser
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2017
Aantal pagina's 976
EAN 9780262035538
ISBN 9780262035538
Libristo-code 14526938
Uitgeverij MIT Press Ltd
Gewicht 1770
Afmetingen 284 x 213 x 40

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren voor mobiele en handheld apparaten / apps
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Misunderstanding in Social Life Julianne House / Boek Gebonden (paperback)
common.buy 43.08 €
Requiem of a Champion: Two Seconds from Glory: A Racer's Reflections and Remembrances Mitch Grant / Boek Gebonden (paperback)
common.buy 14.86 €
Vivaan's Reading Log Martha Day Zschock / Boek Gebonden (paperback)
common.buy 8.39 €
Advanced Capitalist System Lynn Turgeon / Boek Gebonden (paperback)
common.buy 61.90 €
The Queen of Spades G Michael Blahnik / Boek Gebonden (paperback)
common.buy 13.04 €
Santa Monica Disposal & Salvage Penny Perry / Boek Gebonden (paperback)
common.buy 12.63 €
Chasing Angels: A Misty Rush Novel Bobby Q Budrock / Boek Gebonden (paperback)
common.buy 9.40 €
Fairies and Angels Coloring Book for Grown-Ups 1 Nick Snels / Boek Gebonden (paperback)
common.buy 10.31 €
Professional Music-Making in London Stephen Cottrell / Boek Gebonden (harde band)
common.buy 209.08 €
Algorithmic Aspects of Machine Learning Ankur (Massachusetts Institute of Technology) Moitra / Boek Gebonden (harde band)
common.buy 102.46 €
Barnabas The Bad-Mannered Bulldog Chris Gray / Boek Gebonden (paperback)
common.buy 13.75 €
The Antient Bee-Master's Farewell John Keys / Boek Gebonden (paperback)
common.buy 23.26 €
Wordt verwacht
Oresama Teacher, Vol. 10 Izumi Tsubaki / Boek Gebonden (paperback)
common.buy 8.18 €
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 / Boek Gebonden (paperback)
common.buy 8.59 €
The Old and New South.: Address of Judge John McClure Before the Lincoln Club, Little Rock, Ark., January 14, 1891 John McClure / Boek Gebonden (paperback)
common.buy 12.63 €
My Spelling Workbook Book B RIC Publications / Boek Gebonden (paperback)
common.buy 14.96 €
Act Like You Mean It Sanders Shae Sanders / Boek Gebonden (paperback)
common.buy 8.59 €
Chances Jackie Collins / Boek Gebonden (paperback)
common.buy 12.63 €
A Redemptive Path Forward: From Incarceration to a Life of Activism Lucky / Boek Gebonden (paperback)
common.buy 14.86 €
Shadows in Amber Thomas K. Carpenter / Boek Gebonden (harde band)
common.buy 34.48 €
I Am Not Dead Manuel Tristante / E-book Adobe ePub DRM
common.buy 3.02 €
Recommender Systems for Sustainability and Social Good Ludovico Boratto / Boek Gebonden (paperback)
common.buy 82.43 €
Urban Transformations in the U.S.A. Julia Sattler / Boek Gebonden (paperback)
common.buy 33.68 €
Politics of Electoral Reform Alan Renwick / Boek Gebonden (harde band)
common.buy 136.25 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?