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
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 178 b TOP TOP
72.98 €
In extern magazijn in kleine hoeveelheid Wordt binnen 12-17 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

TOP
Pilot's Handbook of Aeronautical Knowledge (2025) Federal Aviation Administration / Boek Paperback
common.buy 19.80 €
TOP
Airplane Flying Handbook (2023): Faa-H-8083-3c Federal Aviation Administration (FAA)/Av / Boek Paperback
common.buy 19.80 €
LETTERING VVAA / Boek Paperback
common.buy 6.52 €
Mehr Resilienz in meinem Kita-Alltag Alexandra Karr-Meng / Boek Blad
common.buy 15.17 €
TOP
Testsuttogás (Hungarian) Dr. Dain Heer / Boek Paperback
common.buy 19.80 €
Dascha, Jadwigas Maus - Eine farbig illustrierte märchenhafte Erzählung für Erwachsene Angelika Beck / Boek Paperback
common.buy 11.25 €
Voordelig
Tisíc úderov srdca Kiera Cassová / Boek Gebonden
common.buy 8.33 €
Die Tyrannei der Minderheit Daniel Ziblatt / Boek Gebonden
common.buy 22.41 €
Я знаю, что я ем! Овощи М. Кордакова / Boek Gebonden
common.buy 11.15 €
Islam, Frauen und Europa Ina Wunn / E-book Adobe ePub DRM
common.buy 26.24 €
Aranc entaniqi Hector Malot / E-book Adobe ePub DRM
common.buy 10.55 €
Awantura. Malutki Lisek i Wielki Dzik. Tom 10 Wauter Mannaert / Boek Gebonden
common.buy 7.43 €
Nenasytná Melanie Harlow / Boek Paperback
common.buy 12.96 €
Horimiya : Artbook - Graduation Album / Boek Paperback
common.buy 25.12 €
!Ellos fueron! Mauricio-Jose Schwarz / E-book Adobe ePub DRM
common.buy 4.31 €
Stavební technologie I. pro SOU Otomar Tibitanzl / Boek Paperback
common.buy 13.06 €
Electricidad Basica, Volume 4 = Basic Electricity Van Valkenburgh / Boek Paperback
common.buy 13.77 €
TOP
Ákášické záznamy Linda Howe / Boek Paperback
common.buy 15.77 €
Wordt verwacht
Demian HESSE / Boek Paperback
common.buy 8.23 €
42 Denk- und Sachaufgaben Renate Rasch / Boek Paperback
common.buy 23.52 €
Reise durch Bolivien Karl-Heinz Raach / Boek Gebonden
common.buy 17.78 €
Die Wasserräder und Turbinen - ihre Berechnung und Konstruktion H. Henne / Boek Paperback
common.buy 31.96 €
Peninsule Michael Coney / Boek Paperback
common.buy 12.46 €
Anniversaire D'Enfer(l') Sauquere V'Ronique / Boek Paperback
common.buy 7.63 €

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
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 Paperback
common.buy 47.14 €
The Old and New South.: Address of Judge John McClure Before the Lincoln Club, Little Rock, Ark., January 14, 1891 John McClure / Boek Paperback
common.buy 12.86 €
Requiem of a Champion: Two Seconds from Glory: A Racer's Reflections and Remembrances Mitch Grant / Boek Paperback
common.buy 15.07 €
Shadows in Amber Thomas K. Carpenter / Boek Gebonden
common.buy 35.18 €
Advanced Capitalist System Lynn Turgeon / Boek Paperback
common.buy 64.43 €
Wordt verwacht
MOLESKINE CAHIER JOURNALS SUBJECT A4 BLA / Boek Paperback
common.buy 26.53 €
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 Paperback
common.buy 8.74 €
I Am Not Dead Manuel Tristante / E-book Adobe ePub DRM
common.buy 3.01 €
The Queen of Spades G Michael Blahnik / Boek Paperback
common.buy 13.26 €
Chances Jackie Collins / Boek Paperback
common.buy 12.56 €
Vivaan's Reading Log Martha Day Zschock / Boek Paperback
common.buy 8.54 €
Yolo Sam Jones / Boek Paperback
common.buy 9.65 €
Portrait of a Romance Charles Entrekin / Boek Paperback
common.buy 12.36 €
14-18: Understanding the Great War Stephane Audoin-Rouzeau / Boek Paperback
common.buy 17.58 €
Act Like You Mean It Sanders Shae Sanders / Boek Paperback
common.buy 8.74 €
Santa Monica Disposal & Salvage Penny Perry / Boek Paperback
common.buy 12.86 €
Chasing Angels: A Misty Rush Novel Bobby Q Budrock / Boek Paperback
common.buy 9.54 €
Let Earth Receive Her King: A collection for Advent and Christmas Rev Alfred Flatten / Boek Paperback
common.buy 8.74 €
Lake Barkley Wakeboarding: Learn to Wakeboard Charles Whyte / Boek Paperback
common.buy 13.26 €
Fairies and Angels Coloring Book for Grown-Ups 1 Nick Snels / Boek Paperback
common.buy 10.55 €
Professional Music-Making in London Stephen Cottrell / Boek Gebonden
common.buy 249.62 €
Algorithmic Aspects of Machine Learning Ankur (Massachusetts Institute of Technology) Moitra / Boek Gebonden
common.buy 103.34 €
Visual Effects for Indie Filmmakers Holmes / Boek Paperback
common.buy 64.03 €
A Redemptive Path Forward: From Incarceration to a Life of Activism Lucky / Boek Paperback
common.buy 15.07 €

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?