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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 171 b
24 885 Ft
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Mehr Resilienz in meinem Kita-Alltag Alexandra Karr-Meng / Book Sheet
common.buy 5 909 Ft
Awantura. Malutki Lisek i Wielki Dzik. Tom 10 Wauter Mannaert / Book Hardback
common.buy 2 715 Ft
Anniversaire D'Enfer(l') Sauquere V'Ronique / Book Paperback
common.buy 3 153 Ft
LETTERING VVAA / Book Paperback
common.buy 2 218 Ft
Peninsule Michael Coney / Book Paperback
common.buy 4 874 Ft
Dascha, Jadwigas Maus - Eine farbig illustrierte märchenhafte Erzählung für Erwachsene Angelika Beck / Book Paperback
common.buy 3 898 Ft
Affordable
Tisíc úderov srdca Kiera Cassová / Book Hardback
common.buy 4 952 Ft
Reise durch Bolivien Karl-Heinz Raach / Book Hardback
common.buy 6 945 Ft
Die Tyrannei der Minderheit Daniel Ziblatt / Book Hardback
common.buy 8 726 Ft
Я знаю, что я ем! Овощи М. Кордакова / Book Hardback
common.buy 3 737 Ft
Coming soon
Demian HESSE / Book Paperback
common.buy 3 180 Ft
Top
Testsuttogás (Hungarian) Dr. Dain Heer / Book Paperback
common.buy 7 562 Ft
Stavební technologie I. pro SOU Otomar Tibitanzl / Book Paperback
common.buy 4 349 Ft
Briefwechsel Paul Celan / Peter Szondi Paul Celan / Book Hardback
common.buy 10 931 Ft
Visiones, saberes y placeres : sobre cultura visual y educaci>n Walzer Moskovic / Book Book
common.buy 12 845 Ft
Contemplar la cruz José Luis Cabriá Ortega / Book Paperback
common.buy 4 713 Ft
Du côté de la vie Marie-Françoise Hans / Book Book
common.buy 13 908 Ft
Ajedrez y refranes Agustín García Luque / Book Paperback
common.buy 6 190 Ft
Electricidad Basica, Volume 4 = Basic Electricity Van Valkenburgh / Book Paperback
common.buy 5 357 Ft
Grundriss der Geschichte der englischen Literatur Gustav Körting / Book Paperback
common.buy 16 858 Ft
Vahsi V. E. Schwab / Book Paperback
common.buy 9 982 Ft
Život svaté Kateřiny Eduard Petrů / Book Hardback
common.buy 4 161 Ft
Václav Hlavatý (1894–1969) Helena Durnová / Book Paperback
common.buy 4 377 Ft
Geschichte der St. Johannis-Loge zu den drei Zirkeln fruher la parfaite union im Oriente Stettin Adolf Georg Carl Lincke / Book Paperback
common.buy 4 524 Ft

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 16 288 Ft
Requiem of a Champion: Two Seconds from Glory: A Racer's Reflections and Remembrances Mitch Grant / Book Paperback
common.buy 5 679 Ft
Yolo Sam Jones / Book Paperback
common.buy 3 723 Ft
Vivaan's Reading Log Martha Day Zschock / Book Paperback
common.buy 3 268 Ft
Advanced Capitalist System Lynn Turgeon / Book Paperback
common.buy 21 833 Ft
The Queen of Spades G Michael Blahnik / Book Paperback
common.buy 4 961 Ft
Santa Monica Disposal & Salvage Penny Perry / Book Paperback
common.buy 4 814 Ft
Chasing Angels: A Misty Rush Novel Bobby Q Budrock / Book Paperback
common.buy 3 590 Ft
Let Earth Receive Her King: A collection for Advent and Christmas Rev Alfred Flatten / Book Paperback
common.buy 3 268 Ft
Fairies and Angels Coloring Book for Grown-Ups 1 Nick Snels / Book Paperback
common.buy 3 940 Ft
Professional Music-Making in London Stephen Cottrell / Book Hardback
common.buy 79 058 Ft
Algorithmic Aspects of Machine Learning Ankur (Massachusetts Institute of Technology) Moitra / Book Hardback
common.buy 36 192 Ft
Barnabas The Bad-Mannered Bulldog Chris Gray / Book Paperback
common.buy 5 210 Ft
The Antient Bee-Master's Farewell John Keys / Book Paperback
common.buy 8 974 Ft
Coming soon
Oresama Teacher, Vol. 10 Izumi Tsubaki / Book Paperback
common.buy 2 890 Ft
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 3 268 Ft
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 4 920 Ft
My Spelling Workbook Book B RIC Publications / Book Paperback
common.buy 5 283 Ft
Act Like You Mean It Sanders Shae Sanders / Book Paperback
common.buy 3 268 Ft
Chances Jackie Collins / Book Paperback
common.buy 4 464 Ft
A Redemptive Path Forward: From Incarceration to a Life of Activism Lucky / Book Paperback
common.buy 5 136 Ft
Visual Effects for Indie Filmmakers Holmes / Book Paperback
common.buy 22 547 Ft
Shadows in Amber Thomas K. Carpenter / Book Hardback
common.buy 13 135 Ft
I Am Not Dead Manuel Tristante / E-book Adobe ePub DRM
common.buy 1 082 Ft

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?