Kod: 09392623
Little Prover
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.
- Język:
Angielski - Oprawa: Miękka
- Liczba stron: 248
Wydawca: MIT Press Ltd, 2015
- Więcej informacji o książce
52.81 €
Zwykle: 53.90 €
Oszczędzasz 1.09 €
Dostępna u dostawcy
Wysyłamy za 3 - 5 dni
Zobacz książki o podobnej tematyce
-
Dessert Person
29.72 € -18 % -
One Piece, Vol. 94
10.10 € -22 % -
Japanese Tattoos
22.98 € -9 % -
Rebecca
11.13 € -23 % -
We Never Learn, Vol. 2
10.51 € -8 % -
Six of Crows: Collector's Edition
19.40 € -24 % -
The Shadows Between Us
14.39 € -23 % -
Everyday Witch Oracle
25.22 € -3 % -
Succulent Prey
20.93 € -
Berserk Deluxe Volume 1
48.21 € -5 % -
Normal People
9.80 € -18 % -
English Vocabulary in Use Pre-intermediate and Intermediate Book with Answers
27.06 € -4 % -
Arabic Visual Dictionary
7.45 € -36 % -
Inspired by Nature
24.61 € -22 % -
The Rational Male - Positive Masculinity
19.30 € -
Bilingual
29.92 € -5 % -
Floral One Line a Day: A Five-Year Memory Book
14.80 € -19 % -
The Dictionary of Body Language
10.10 € -1 % -
AKIRA: Art of Wall
119.93 € -8 % -
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24
15.31 € -9 % -
Bake It Better
19.91 € -21 % -
Remnants of Filth: Yuwu (Novel) Vol. 1
18.79 € -9 % -
Things We Leave Unfinished
9.29 € -22 % -
Marcy's Journal - A Guide to Amphibia
25.22 € -19 % -
Squishmallows Official Collectors' Guide
16.23 € -13 % -
Throttled Special Edition
23.90 € -
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2
16.03 € -20 % -
Magic Mushroom Cultivation: Psilocybin Mushroom Grower's Kit
9.49 € -
Halo Encyclopedia
46.88 € -8 % -
Mob Psycho 100 Volume 7
11.13 € -17 % -
Pokémon Primers: Shapes Book, 4
11.84 € -18 % -
Kingdom of the Wicked
10.10 € -22 % -
Creative Haven Fairy Gardens Coloring Book
6.02 € -18 % -
This Winter
8.37 € -24 % -
Red Queen
13.07 € -3 % -
Making Faces
22.67 € -18 % -
Building a StoryBrand
13.27 € -19 % -
Sam Walton
9.39 € -18 % -
Synchronicity
28.59 € -
Egyptian Mythology
22.77 € -2 % -
Pride and Prejudice
8.26 € -21 % -
Winter
6.83 € -23 % -
No Good Men Among the Living
16.54 € -22 % -
River Marked
11.13 € -23 % -
Star Wars Art: Posters
38.10 € -23 % -
Wind-up Train
24.81 € -9 % -
Guards! Guards!
15.82 € -20 % -
Grimm's Complete Fairy Tales
20.32 € -22 % -
How the Mighty Fall
19.40 € -20 % -
The House on Mango Street
14.70 € -
Reinventing Your Life
16.74 € -18 % -
The Usborne First Thousand Words In English
10.61 € -4 % -
Rafa: My Story
12.76 € -24 % -
French Fiddle Tunes
24.81 € -2 % -
Become A Hangeul Master
34.83 € -
Blade of the Immortal Omnibus Volume 2
25.22 € -3 % -
The Communist Manifesto
3.57 € -24 % -
Tuesdays with Morrie
9.49 € -5 % -
RHS Pruning and Training
20.83 € -17 % -
OCP Oracle Database 12c Advanced Administration Exam Guide (Exam 1Z0-063)
67.72 € -
Goodnight Punpun, Vol. 7
14.19 € -23 % -
Hooked
12.86 € -24 % -
Close-up B1+ with Online Student Zone
40.55 € -
Lesen & Schreiben A1
15.72 € -9 % -
Creatures Of The Night (German Version)
15.31 € -
Iskra bogów Tom 1 Nie kochaj mnie
8.26 € -18 % -
Gra Pchełki
2.65 € -24 % -
Miraculous - Die Abenteuer von Ladybug und Cat Noir (Manga)
8.37 € -2 % -
Sila nawyku
11.53 € -18 % -
Transformers 1-5 Collection, 5 Blu-ray
34.11 €
Bon podarunkowy: Radość gwarantowana
- Podaruj bon o dowolnej wartości, a my się zajmiemy resztą.
- Bon podarunkowy dotyczy całej naszej oferty.
- Możesz wydrukować elektroniczny bon z e-maila a następnie przekazać go obdarowanemu.
- Ważność bonu wynosi 12 miesięcy od daty wystawienia.
Więcej informacji o Little Prover
Za ten zakup dostaniesz 131 punkty
Opis
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.
Szczegóły książki
Kategoria Książki po angielsku Computing & information technology Computer programming / software development Mobile & handheld device programming / Apps programming
52.81 €
- Pełny tytuł: Little Prover
- Autor: Carl Eastlund
- Język: Angielski
- Oprawa: Miękka
- Liczba stron: 248
- EAN: 9780262527958
- ISBN: 9780262527958
- ID: 09392623
- Wydawca: MIT Press Ltd
- Waga: 472 g
- Wymiary: 231 × 179 × 16 mm
- Data wydania: 10. July 2015
Ulubione w innej kategorii
-
Unity Game Development Cookbook
52.91 € -21 % -
Inside the Android OS
46.88 € -7 % -
Apache Maven Cookbook
57.51 € -
Android Programming
56.59 € -
Android Security Internals
52.09 € -23 % -
App Inventor 2, 2e
38.71 € -6 % -
Building Mobile Applications with Java
26.14 € -
Learning Android
34.11 € -6 % -
Beginning Android Programming with Android Studio
38.71 € -6 % -
Little Typer
44.94 € -12 % -
Kotlin Programming
51.17 € -4 % -
Pro Android with Kotlin
58.43 € -3 % -
Hacking Android
58.94 € -
Programming Flutter
41.88 € -23 % -
Practical Flutter
53.62 € -4 % -
Pro Android C++ with the NDK
64.45 € -
Hello! App Inventor
51.89 € -
Delphi Cookbook -
65.88 € -
Pro Android 5
61.39 € -13 % -
Android Programming
45.66 € -
Advanced Android Application Development
37.48 € -40 % -
Practical Android
44.74 € -12 % -
Xamarin Mobile Application Development
86.83 € -4 % -
Beginning NFC
33.60 € -
Gradle for Android
38.30 € -
Kotlin for Android App Development
49.23 € -
Android Design Patterns and Best Practice
58.94 € -
Sams Teach Yourself Java in 21 Days (Covers Java 11/12)
44.12 € -4 % -
Apple Pay Essentials
40.24 € -
Learn Java for Android Development
96.43 € -3 % -
Learn Android Studio 3 with Kotlin
58.43 € -3 % -
Expert Android Programming
58.94 € -
Building Android Apps with HTML, CSS and JavaScript, 2e
38.71 € -6 % -
Android Recipes
48.92 € -3 % -
Developing Android Applications with Adobe AIR
50.46 € -
Mastering Android NDK
65.88 € -
jQuery Mobile
34.11 € -6 % -
Build Location-Based Projects for iOS
34.52 € -
Android System Programming
58.94 € -
Android Development with Kotlin
58.94 € -
Learn Android Studio
64.45 € -
Definitive Guide to Firebase
77.43 € -3 % -
Android Cookbook, 2e
87.03 € -
Professional NFC Application Development for Android
45.66 € -
Developing Inclusive Mobile Apps
53.62 € -4 % -
Flutter for Beginners
47.29 € -
Android App Development For Dummies 3e
34.62 € -3 % -
Learning React Native
74.87 € -
Building Progressive Web Apps
62.61 €
O nas
Przewodnik
Według języka
Osobní odběr Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Wszelkie prawa zastrzeżonePrywatnieCookies
Vrácení do měsíce
Zdarma od 49.99 €
02/210 210 99 (8-15.30h)