Kód: 09392623

Little Prover

Name: Little Prover
Brand: MIT Press Ltd
SKU: 09392623
Price: 52.95 EUR
Availability: InStock

Autor Carl Eastlund

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.

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 248
Nakladateľ: MIT Press Ltd, 2015
Viac informácií o knihe

52.95 €

Bežne: 54.04 €

Ušetríte 1.09 €

Skladom u dodávateľa
Odosielame za 3 - 5 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Dessert Person
29.69 € -18 %
Kúpiť
One Piece, Vol. 94
10.13 € -22 %
Kúpiť
Japanese Tattoos
23.04 € -9 %
Kúpiť
Rebecca
11.15 € -23 %
Kúpiť
We Never Learn, Vol. 2
10.54 € -8 %
Kúpiť
Six of Crows: Collector's Edition
19.45 € -24 %
Kúpiť
The Shadows Between Us
14.43 € -23 %
Kúpiť
Everyday Witch Oracle
25.29 € -3 %
Kúpiť
Succulent Prey
20.99 €
Kúpiť
Berserk Deluxe Volume 1
48.34 € -5 %
Kúpiť
Normal People
9.72 € -19 %
Kúpiť
English Vocabulary in Use Pre-intermediate and Intermediate Book with Answers
27.13 € -4 %
Kúpiť
Arabic Visual Dictionary
7.47 € -36 %
Kúpiť
Inspired by Nature
24.68 € -22 %
Kúpiť
The Rational Male - Positive Masculinity
19.35 €
Kúpiť
Bilingual
30 € -5 %
Kúpiť
Floral One Line a Day: A Five-Year Memory Book
14.84 € -19 %
Kúpiť
The Dictionary of Body Language
10.13 € -1 %
Kúpiť
AKIRA: Art of Wall
120.24 € -8 %
Kúpiť
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24
15.35 € -9 %
Kúpiť
Bake It Better
19.96 € -22 %
Kúpiť
Remnants of Filth: Yuwu (Novel) Vol. 1
18.73 € -10 %
Kúpiť
Things We Leave Unfinished
9.31 € -22 %
Kúpiť
Marcy's Journal - A Guide to Amphibia
25.29 € -19 %
Kúpiť
Squishmallows Official Collectors' Guide
16.28 € -13 %
Kúpiť
Throttled Special Edition
23.96 €
Kúpiť
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2
16.07 € -20 %
Kúpiť
Magic Mushroom Cultivation: Psilocybin Mushroom Grower's Kit
9.52 €
Kúpiť
Halo Encyclopedia
46.90 € -8 %
Kúpiť
Mob Psycho 100 Volume 7
11.15 € -17 %
Kúpiť
Pokémon Primers: Shapes Book, 4
11.87 € -18 %
Kúpiť
Kingdom of the Wicked
10.13 € -22 %
Kúpiť
Creative Haven Fairy Gardens Coloring Book
6.03 € -18 %
Kúpiť
This Winter
8.39 € -24 %
Kúpiť
Red Queen
13.10 € -3 %
Kúpiť
Making Faces
22.73 € -18 %
Kúpiť
Building a StoryBrand
16.58 € -23 %
Kúpiť
Sam Walton
9.41 € -18 %
Kúpiť
Synchronicity
28.67 €
Kúpiť
Egyptian Mythology
22.83 € -2 %
Kúpiť
Pride and Prejudice
8.29 € -21 %
Kúpiť
Winter
6.85 € -23 %
Kúpiť
No Good Men Among the Living
16.58 € -22 %
Kúpiť
River Marked
11.15 € -23 %
Kúpiť
Star Wars Art: Posters
38.20 € -23 %
Kúpiť
Wind-up Train
22.01 € -23 %
Kúpiť
Guards! Guards!
15.87 € -20 %
Kúpiť
Grimm's Complete Fairy Tales
20.37 € -22 %
Kúpiť
How the Mighty Fall
19.45 € -20 %
Kúpiť
The House on Mango Street
14.74 €
Kúpiť
Reinventing Your Life
16.79 € -18 %
Kúpiť
The Usborne First Thousand Words In English
10.64 € -4 %
Kúpiť
Rafa: My Story
12.79 € -24 %
Kúpiť
French Fiddle Tunes
24.88 € -2 %
Kúpiť
Become A Hangeul Master
34.92 €
Kúpiť
Blade of the Immortal Omnibus Volume 2
25.29 € -3 %
Kúpiť
The Communist Manifesto
3.57 € -24 %
Kúpiť
Tuesdays with Morrie
9.52 € -5 %
Kúpiť
RHS Pruning and Training
20.89 € -19 %
Kúpiť
OCP Oracle Database 12c Advanced Administration Exam Guide (Exam 1Z0-063)
67.90 €
Kúpiť
Goodnight Punpun, Vol. 7
14.23 € -23 %
Kúpiť
Hooked
12.90 € -24 %
Kúpiť
Close-up B1+ with Online Student Zone
40.65 €
Kúpiť
Lesen & Schreiben A1
15.76 € -9 %
Kúpiť
Creatures Of The Night (German Version)
15.35 €
Kúpiť
Iskra bogów Tom 1 Nie kochaj mnie
8.29 € -18 %
Kúpiť
Gra Pchełki
2.65 € -24 %
Kúpiť
Miraculous - Die Abenteuer von Ladybug und Cat Noir (Manga)
8.39 € -2 %
Kúpiť
Sila nawyku
11.56 € -18 %
Kúpiť
Transformers 1-5 Collection, 5 Blu-ray
34.20 €
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Nákupom získate 131 bodov

Anotácia knihy

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.