Code: 09392623

Little Prover

Name: Little Prover
Brand: MIT Press Ltd
SKU: 09392623
Availability: OutOfStock
Author: Carl Eastlund
ISBN: 9780262527958

by Carl Eastlund

Trending

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

Language: English
Binding: Paperback
Number of pages: 248
Publisher: MIT Press Ltd, 2015
More about this

Out of stock

Availability alert

Add to wishlist

Berserk Deluxe Volume 1
38.95 € -27 %
Buy
Designing Data-Intensive Applications
49.79 € -25 %
Buy
Jujutsu Kaisen, Vol. 27
7.62 € -30 %
Buy
Tuesdays with Morrie
7.12 € -29 %
Buy
The Communist Manifesto
4.11 €
Buy
Normal People
11.74 € -4 %
Buy
Goodnight Punpun, Vol. 7
12.74 € -30 %
Buy
Grimm's Complete Fairy Tales
19.27 € -22 %
Buy
The Usborne First Thousand Words In English
9.03 € -19 %
Buy
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 13
12.34 € -26 %
Buy
English Vocabulary in Use Pre-intermediate and Intermediate Book with Answers
27.20 € -20 %
Buy
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2
19.77 € -5 %
Buy
Jolly Phonics Pupil Book 1
6.01 € -18 %
Buy
Making Faces
22.68 € -23 %
Buy
Reckless
9.63 € -21 %
Buy
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 4
14.85 € -29 %
Buy
The Elements of Baking
31.82 € -9 %
Buy
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24
12.24 € -25 %
Buy
The Art of Doing Science and Engineering
26.20 € -23 %
Buy
Pride and Prejudice
7.52 € -30 %
Buy
Six of Crows Boxed Set
19.47 € -29 %
Buy
Harry Potter and the Philosopher's Stone
36.94 € -29 %
Buy
Pokemon Super Duper Extra Deluxe Essential Handbook
13.24 € -23 %
Buy
Six of Crows: Collector's Edition
24.59 € -26 %
Buy
Hooked
15.55 € -23 %
Buy
The Next Conversation
19.57 € -15 %
Buy
The House on Mango Street
10.03 € -29 %
Buy
Things We Leave Unfinished
14.35 €
Buy
Dessert Person
27.40 € -24 %
Buy
Building a StoryBrand
15.85 € -25 %
Buy
Bushcraft 101
12.94 € -25 %
Pre-order
Everyday Witch Oracle
18.57 € -27 %
Buy
The Dictionary of Body Language
12.44 € -9 %
Buy
Wind-up Train
24.99 € -10 %
Buy
Art of Computer Programming, The, Volumes 1-4B, Boxed Set
262.86 € -13 %
Buy
Become A Hangeul Master
26.30 € -9 %
Buy
The Rational Male - Positive Masculinity
16.96 € -1 %
Buy
Wind-up Digger
16.86 € -29 %
Buy
Egyptian Mythology
18.47 € -19 %
Buy
Kingdom of the Wicked
14.45 €
Buy
Structure and Interpretation of Computer Programs
87.45 € -17 %
Buy
Neptune, the 12th house, and Pisces - 2nd Edition
18.57 € -25 %
Buy
Nightwing Vol. 1: Leaping into the Light
12.54 € -29 %
Buy
Guards! Guards!
15.15 € -28 %
Buy
Remnants of Filth: Yuwu (Novel) Vol. 1
16.46 € -21 %
Buy
BEASTARS, Vol. 7
10.03 € -29 %
Pre-order
Yu-Gi-Oh! (3-in-1 Edition), Vol. 12
14.05 € -22 %
Buy
Bake It Better
21.58 € -18 %
Buy
The Official Agatha Christie Puzzle Book
16.46 € -25 %
Buy
Linux Bible
45.28 € -25 %
Buy
Garden Sounds
15.15 € -11 %
Buy
Mob Psycho 100 Volume 7
9.63 € -27 %
Buy
MALAYSIA SINGAPORE & BRUNEI
21.18 € -10 %
Buy
Battle Angel Alita Deluxe Complete Series Box Set
122.89 € -28 %
Buy
Untethered Soul
18.57 € -24 %
Buy
Halo Encyclopedia
46.68 € -30 %
Buy
Reinventing Your Life
17.16 € -25 %
Buy
Gut and Physiology Syndrome
25.59 € -24 %
Buy
That's not my cat...
7.52 € -25 %
Buy
Five Nights at Freddy's: The Twisted Ones
7.92 € -26 %
Buy
Marcy's Journal - A Guide to Amphibia
22.68 € -23 %
Buy
Rafa: My Story
12.14 € -30 %
Buy
Persona 5, Vol. 4
9.03 € -29 %
Buy
Konosuba: God's Blessing on This Wonderful World!, Vol. 15 (light novel)
11.84 € -22 %
Buy
Blade of the Immortal Omnibus Volume 2
18.57 € -25 %
Buy
One Piece, Vol. 94
9.63 € -25 %
Buy
Japanese Tattoos
23.08 € -21 %
Buy
Reminiscences of a Stock Operator, Annotated Edition - With New Commentary and Insights on the Life and Times of Jesse Livermore
30.62 € -26 %
Buy
Radical Forgiveness
15.05 € -25 %
Buy
Three Minutes for a Dog
19.67 € -2 %
Buy
Wildflower Watercolor
17.16 € -25 %
Buy
Lost At Sea
17.56 € -31 %
Buy
This Winter
10.83 € -8 %
Buy
Geopolitical Alpha
18.97 € -25 %
Buy
Inspired by Nature
25.80 € -21 %
Buy
Tatiana Romanov, Daughter of the Last Tsar
21.59 € -24 %
Buy
How the Mighty Fall
18.16 € -31 %
Buy
Creative Haven Fairy Gardens Coloring Book
5.51 € -19 %
Buy
The awk Programming Language
35.03 € -14 %
Buy
Thunderbolts: Doomstrike
13.34 € -24 %
Buy
Little Typer
67.06 €
Buy
Red Queen
12.24 € -25 %
Buy
Transit
13.04 € -5 %
Buy
Floral One Line a Day: A Five-Year Memory Book
12.54 € -20 %
Buy
On Suicide
13.75 € -25 %
Buy
Arabic Visual Dictionary
11.04 € -27 %
Buy
An Archdemon's Dilemma: How to Love Your Elf Bride: Volume 18 (Light Novel)
11.94 € -25 %
Buy
Synchronicity
36.34 €
Buy
Little Schemer
48.69 €
Buy
Haskell Road to Logic, Maths and Programming
22.48 € -10 %
Buy
We Never Learn, Vol. 2
7.62 € -24 %
Buy

Availability alert

We will watch availability for you

Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.

Book synopsis

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.