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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 173 b
71.84 €
140.50  лв
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.69 € 13.08 лв
Awantura. Malutki Lisek i Wielki Dzik. Tom 10 Wauter Mannaert / Book Hardback
common.buy 8.35 € 16.32 лв
Peninsule Michael Coney / Book Paperback
common.buy 13.95 € 27.28 лв
Dascha, Jadwigas Maus - Eine farbig illustrierte märchenhafte Erzählung für Erwachsene Angelika Beck / Book Paperback
common.buy 11.41 € 22.31 лв
Reise durch Bolivien Karl-Heinz Raach / Book Hardback
common.buy 19.08 € 37.32 лв
Affordable
Tisíc úderov srdca Kiera Cassová / Book Hardback
common.buy 12.65 € 24.74 лв
42 Denk- und Sachaufgaben Renate Rasch / Book Paperback
common.buy 25.05 € 48.99 лв
Die Tyrannei der Minderheit Daniel Ziblatt / Book Hardback
common.buy 23.96 € 46.86 лв
Я знаю, что я ем! Овощи М. Кордакова / Book Hardback
common.buy 11.25 € 22.01 лв
Islam, Frauen und Europa Ina Wunn / E-book Adobe ePub DRM
common.buy 27.75 € 54.27 лв
Aranc entaniqi Hector Malot / E-book Adobe ePub DRM
common.buy 11.25 € 22.01 лв
Top
Testsuttogás (Hungarian) Dr. Dain Heer / Book Paperback
common.buy 19.50 € 38.14 лв
Horimiya : Artbook - Graduation Album / Book Paperback
common.buy 27.28 € 53.35 лв
!Ellos fueron! Mauricio-Jose Schwarz / E-book Adobe ePub DRM
common.buy 4.61 € 9.02 лв
Coming soon
Demian HESSE / Book Paperback
common.buy 8.76 € 17.14 лв
Stavební technologie I. pro SOU Otomar Tibitanzl / Book Paperback
common.buy 13.79 € 26.98 лв
Grundriss der Geschichte der englischen Literatur Gustav Körting / Book Paperback
common.buy 46.32 € 90.59 лв
Die Wasserräder und Turbinen - ihre Berechnung und Konstruktion H. Henne / Book Paperback
common.buy 34.13 € 66.75 лв
Unterwegs Silke Bartlick / Book Paperback
common.buy 19.03 € 37.22 лв
LA BANDA DEL PICA PAU YAN SCHENKEL / Book Hardback
common.buy 25.93 € 50.72 лв
Mały zegar do nauki godzin / Game/Toy Toy
common.buy 4.66 € 9.12 лв
Václav Hlavatý (1894–1969) Helena Durnová / Book Paperback
common.buy 13.12 € 25.66 лв
Geschichte der St. Johannis-Loge zu den drei Zirkeln fruher la parfaite union im Oriente Stettin Adolf Georg Carl Lincke / Book Paperback
common.buy 12.44 € 24.34 лв
Vahsi V. E. Schwab / Book Paperback
common.buy 27.54 € 53.86 лв

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.26 € 90.48 лв
Requiem of a Champion: Two Seconds from Glory: A Racer's Reflections and Remembrances Mitch Grant / Book Paperback
common.buy 14.93 € 29.21 лв
Yolo Sam Jones / Book Paperback
common.buy 10.21 € 19.98 лв
Vivaan's Reading Log Martha Day Zschock / Book Paperback
common.buy 8.40 € 16.42 лв
Advanced Capitalist System Lynn Turgeon / Book Paperback
common.buy 64.94 € 127.01 лв
The Queen of Spades G Michael Blahnik / Book Paperback
common.buy 13.07 € 25.56 лв
Santa Monica Disposal & Salvage Penny Perry / Book Paperback
common.buy 12.65 € 24.74 лв
Chasing Angels: A Misty Rush Novel Bobby Q Budrock / Book Paperback
common.buy 9.38 € 18.35 лв
Let Earth Receive Her King: A collection for Advent and Christmas Rev Alfred Flatten / Book Paperback
common.buy 8.55 € 16.73 лв
Lake Barkley Wakeboarding: Learn to Wakeboard Charles Whyte / Book Paperback
common.buy 13.12 € 25.66 лв
Fairies and Angels Coloring Book for Grown-Ups 1 Nick Snels / Book Paperback
common.buy 10.37 € 20.28 лв
Professional Music-Making in London Stephen Cottrell / Book Hardback
common.buy 245.04 € 479.25 лв
Algorithmic Aspects of Machine Learning Ankur (Massachusetts Institute of Technology) Moitra / Book Hardback
common.buy 102.80 € 201.07 лв
Barnabas The Bad-Mannered Bulldog Chris Gray / Book Paperback
common.buy 13.74 € 26.87 лв
Christmas Memories Sylvia Louise Alexandria Lacey / Book Paperback
common.buy 7.20 € 14.09 лв
The Antient Bee-Master's Farewell John Keys / Book Paperback
common.buy 24.63 € 48.18 лв
Oresama Teacher, Vol. 10 Izumi Tsubaki / Book Paperback
common.buy 8.45 € 16.53 лв
Coming soon
MOLESKINE CAHIER JOURNALS SUBJECT A4 BLA / Book Paperback
common.buy 26.81 € 52.44 лв
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.55 € 16.73 лв
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.70 € 24.85 лв
My Spelling Workbook Book B RIC Publications / Book Paperback
common.buy 14.93 € 29.21 лв
Act Like You Mean It Sanders Shae Sanders / Book Paperback
common.buy 8.55 € 16.73 лв
Chances Jackie Collins / Book Paperback
common.buy 12.65 € 24.74 лв
A Redemptive Path Forward: From Incarceration to a Life of Activism Lucky / Book Paperback
common.buy 14.93 € 29.21 лв

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