Kód: 09392623

Little Prover

Name: Little Prover
Brand: MIT Press Ltd
SKU: 09392623
Price: 57.91 EUR
Availability: BackOrder

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

57.91 €

Dostupnosť:

50 % šanca

Máme informáciu, že by titul mohol byť dostupný. Na základe vašej objednávky sa ho pokúsime do 6 týždňov zabezpečiť.
Prehľadáme celý svet

Informovať o naskladnení

Pridať medzi želanie

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

One Piece, Vol. 94
9.95 € -22 %
Kúpiť
Dessert Person
29.86 € -18 %
Kúpiť
Rebecca
10.95 € -23 %
Kúpiť
Japanese Tattoos
23.02 € -7 %
Kúpiť
We Never Learn, Vol. 2
10.55 €
Kúpiť
Six of Crows: Collector's Edition
24.63 € -3 %
Kúpiť
The Shadows Between Us
15.27 € -20 %
Kúpiť
Everyday Witch Oracle
25.73 €
Kúpiť
Succulent Prey
20.91 €
Kúpiť
Berserk Deluxe Volume 1
51.58 €
Kúpiť
Normal People
9.44 € -20 %
Kúpiť
Magic Mushroom Cultivation: Psilocybin Mushroom Grower's Kit
9.44 €
Kúpiť
Arabic Visual Dictionary
9.84 € -14 %
Kúpiť
Inspired by Nature
24.93 € -19 %
Kúpiť
The Rational Male - Positive Masculinity
13.06 € -18 %
Kúpiť
The Dictionary of Body Language
10.65 € -20 %
Kúpiť
Bilingual
29.25 € -5 %
Kúpiť
English Vocabulary in Use Pre-intermediate and Intermediate Book with Answers
24.93 € -11 %
Kúpiť
Floral One Line a Day: A Five-Year Memory Book
14.17 € -13 %
Kúpiť
This Winter
8.24 € -19 %
Kúpiť
Creative Haven Fairy Gardens Coloring Book
6.12 € -15 %
Kúpiť
Kingdom of the Wicked
10.25 € -19 %
Kúpiť
Mob Psycho 100 Volume 7
11.25 € -13 %
Kúpiť
Halo Encyclopedia
48.36 € -3 %
Kúpiť
AKIRA: Art of Wall
120.46 € -5 %
Kúpiť
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2
16.08 € -18 %
Kúpiť
Throttled Special Edition
22.82 €
Kúpiť
Squishmallows Official Collectors' Guide
15.98 € -13 %
Kúpiť
Marcy's Journal - A Guide to Amphibia
26.03 € -15 %
Kúpiť
Things We Leave Unfinished
9.44 € -20 %
Kúpiť
Remnants of Filth: Yuwu (Novel) Vol. 1
18.59 € -6 %
Kúpiť
Bake It Better
20 € -19 %
Kúpiť
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24
16.48 € -3 %
Kúpiť
Red Queen
13.06 € -1 %
Kúpiť
Making Faces
22.92 € -17 %
Kúpiť
Building a StoryBrand
13.26 € -18 %
Kúpiť
Sam Walton
9.44 € -15 %
Kúpiť
Synchronicity
31.77 €
Kúpiť
Egyptian Mythology
22.62 € -1 %
Kúpiť
Pride and Prejudice
8.34 € -19 %
Kúpiť
Winter
6.73 € -23 %
Kúpiť
No Good Men Among the Living
17.79 € -14 %
Kúpiť
River Marked
10.95 € -23 %
Kúpiť
Star Wars Art: Posters
37.50 € -23 %
Kúpiť
Wind-up Train
24.53 € -12 %
Kúpiť
Guards! Guards!
15.88 € -16 %
Kúpiť
Grimm's Complete Fairy Tales
20.70 € -19 %
Kúpiť
How the Mighty Fall
19.40 € -18 %
Kúpiť
The House on Mango Street
14.67 €
Kúpiť
Reinventing Your Life
16.88 € -15 %
Kúpiť
The Usborne First Thousand Words In English
8.74 € -19 %
Kúpiť
The Communist Manifesto
3.51 € -23 %
Kúpiť
Goodnight Punpun, Vol. 7
15.27 € -14 %
Kúpiť
RHS Pruning and Training
21.61 € -23 %
Kúpiť
Blade of the Immortal Omnibus Volume 2
23.22 € -17 %
Kúpiť
French Fiddle Tunes
23.42 € -5 %
Kúpiť
Become A Hangeul Master
35.79 €
Kúpiť
Tuesdays with Morrie
9.54 € -8 %
Kúpiť
OCP Oracle Database 12c Advanced Administration Exam Guide (Exam 1Z0-063)
69.57 €
Kúpiť
Rafa: My Story
11.86 € -28 %
Kúpiť
Hooked
13.36 € -19 %
Kúpiť
Close-up B1+ with Online Student Zone
39.91 €
Kúpiť
Sila nawyku
11.35 € -18 %
Kúpiť
Iskra bogów Tom 1 Nie kochaj mnie
8.14 € -18 %
Kúpiť
Gra Pchełki
2.91 € -3 %
Kúpiť
Creatures Of The Night (German Version)
15.68 €
Kúpiť
Lesen & Schreiben A1
16.28 € -5 %
Kúpiť
Furry Fear
17.91 €
Kúpiť
Miraculous - Die Abenteuer von Ladybug und Cat Noir (Manga)
8.64 €
Kúpiť
Farm der Tiere
6.33 € -15 %
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í

Informovať o naskladnení knihy

Zašleme vám správu akonáhle knihu naskladníme

Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.

Nákupom získate 146 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.