Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Fundamental Proof Methods in Computer Science

Language EnglishEnglish
Book Hardback
Book Fundamental Proof Methods in Computer Science Konstantine Arkoudas
Libristo code: 14526938
Publishers MIT Press Ltd, May 2017
A textbook that teaches students to read and write proofs using Athena.
? points 166 b
68.88 €
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

LETTERING VVAA / Book Paperback
common.buy 6.28 €
Awantura. Malutki Lisek i Wielki Dzik. Tom 10 Wauter Mannaert / Book Hardback
common.buy 7.90 €
Peninsule Michael Coney / Book Paperback
common.buy 13.38 €
Dascha, Jadwigas Maus - Eine farbig illustrierte märchenhafte Erzählung für Erwachsene Angelika Beck / Book Paperback
common.buy 10.85 €
Reise durch Bolivien Karl-Heinz Raach / Book Hardback
common.buy 18.05 €
Affordable
Tisíc úderov srdca Kiera Cassová / Book Hardback
common.buy 12.67 €
42 Denk- und Sachaufgaben Renate Rasch / Book Paperback
common.buy 23.73 €
Die Tyrannei der Minderheit Daniel Ziblatt / Book Hardback
common.buy 22.61 €
Я знаю, что я ем! Овощи М. Кордакова / Book Hardback
common.buy 10.64 €
Islam, Frauen und Europa Ina Wunn / E-book Adobe ePub DRM
common.buy 26.37 €
Aranc entaniqi Hector Malot / E-book Adobe ePub DRM
common.buy 10.64 €
Top
Testsuttogás (Hungarian) Dr. Dain Heer / Book Paperback
common.buy 19.47 €
Horimiya : Artbook - Graduation Album / Book Paperback
common.buy 26.06 €
!Ellos fueron! Mauricio-Jose Schwarz / E-book Adobe ePub DRM
common.buy 4.35 €
Coming soon
Demian HESSE / Book Paperback
common.buy 8.31 €
Stavební technologie I. pro SOU Otomar Tibitanzl / Book Paperback
common.buy 13.18 €
Grundriss der Geschichte der englischen Literatur Gustav Körting / Book Paperback
common.buy 43.72 €
Die Wasserräder und Turbinen - ihre Berechnung und Konstruktion H. Henne / Book Paperback
common.buy 32.15 €
Unterwegs Silke Bartlick / Book Paperback
common.buy 17.95 €
LA BANDA DEL PICA PAU YAN SCHENKEL / Book Hardback
common.buy 24.74 €
Mały zegar do nauki godzin / Game/Toy Toy
common.buy 4.45 €
Václav Hlavatý (1894–1969) Helena Durnová / Book Paperback
common.buy 12.47 €
Geschichte der St. Johannis-Loge zu den drei Zirkeln fruher la parfaite union im Oriente Stettin Adolf Georg Carl Lincke / Book Paperback
common.buy 11.76 €
Vahsi V. E. Schwab / Book Paperback
common.buy 26.16 €

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Fundamental Proof Methods in Computer Science
Author Konstantine Arkoudas, David Musser
Language English
Binding Book - Hardback
Date of issue 2017
Number of pages 976
EAN 9780262035538
ISBN 9780262035538
Libristo code 14526938
Publishers MIT Press Ltd
Weight 1770
Dimensions 284 x 213 x 40

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Mobile & handheld device programming / Apps programming
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Misunderstanding in Social Life Julianne House / Book Paperback
common.buy 46.25 €
Requiem of a Champion: Two Seconds from Glory: A Racer's Reflections and Remembrances Mitch Grant / Book Paperback
common.buy 14.90 €
Yolo Sam Jones / Book Paperback
common.buy 9.73 €
Vivaan's Reading Log Martha Day Zschock / Book Paperback
common.buy 8.41 €
Advanced Capitalist System Lynn Turgeon / Book Paperback
common.buy 61.87 €
The Queen of Spades G Michael Blahnik / Book Paperback
common.buy 13.08 €
Santa Monica Disposal & Salvage Penny Perry / Book Paperback
common.buy 12.67 €
Chasing Angels: A Misty Rush Novel Bobby Q Budrock / Book Paperback
common.buy 9.42 €
Let Earth Receive Her King: A collection for Advent and Christmas Rev Alfred Flatten / Book Paperback
common.buy 8.61 €
Lake Barkley Wakeboarding: Learn to Wakeboard Charles Whyte / Book Paperback
common.buy 13.08 €
Fairies and Angels Coloring Book for Grown-Ups 1 Nick Snels / Book Paperback
common.buy 10.34 €
Professional Music-Making in London Stephen Cottrell / Book Hardback
common.buy 245.10 €
Algorithmic Aspects of Machine Learning Ankur (Massachusetts Institute of Technology) Moitra / Book Hardback
common.buy 102.76 €
Barnabas The Bad-Mannered Bulldog Chris Gray / Book Paperback
common.buy 13.79 €
Christmas Memories Sylvia Louise Alexandria Lacey / Book Paperback
common.buy 7.19 €
The Antient Bee-Master's Farewell John Keys / Book Paperback
common.buy 23.32 €
Oresama Teacher, Vol. 10 Izumi Tsubaki / Book Paperback
common.buy 8.41 €
Coming soon
MOLESKINE CAHIER JOURNALS SUBJECT A4 BLA / Book Paperback
common.buy 25.35 €
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 / Book Paperback
common.buy 8.61 €
The Old and New South.: Address of Judge John McClure Before the Lincoln Club, Little Rock, Ark., January 14, 1891 John McClure / Book Paperback
common.buy 12.67 €
My Spelling Workbook Book B RIC Publications / Book Paperback
common.buy 14.29 €
Act Like You Mean It Sanders Shae Sanders / Book Paperback
common.buy 8.61 €
Chances Jackie Collins / Book Paperback
common.buy 11.86 €
A Redemptive Path Forward: From Incarceration to a Life of Activism Lucky / Book Paperback
common.buy 14.09 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?