info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Little Prover

Език Английски езикАнглийски език
Книга С меки корици
Книга Little Prover Carl Eastlund
Код Либристо: 09392623
Издателство MIT Press Ltd, юли 2015
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
? points 156 b
123 лв
50% вероятност Ще претърсим света Кога ще получа книгата?

30 дни за връщане на стоката

Може би ще Ви заинтересува

TOP
Berserk Deluxe Volume 1 Kentaro Miura / С твърди корици
common.buy 93 лв
TOP
Normal People Sally Rooney / С меки корици
common.buy 26 лв
TOP
Rebecca Daphne Du Maurier / С меки корици
common.buy 31 лв
TOP
Dessert Person Claire Saffitz / С твърди корици
common.buy 66 лв
TOP
Six of Crows: Collector's Edition Leigh Bardugo / С твърди корици
common.buy 51 лв
TOP
Kingdom of the Wicked Kerri Maniscalco / С меки корици
common.buy 26 лв
TOP
This Winter Alice Oseman / С меки корици
common.buy 22 лв
TOP
The Dictionary of Body Language Joe Navarro / С меки корици
common.buy 27 лв
TOP РАЗПРОДАЖБА
English Vocabulary in Use Pre-intermediate and Intermediate Book with Answers Stuart Redman / С меки корици
common.buy 49 лв
TOP
Everyday Witch Oracle Deborah Blake / Карти
common.buy 50 лв
TOP
One Piece, Vol. 94 Eiichiro Oda / С меки корици
common.buy 24 лв
TOP РАЗПРОДАЖБА
Japanese Tattoos Yori Moriarty / С твърди корици
common.buy 41 лв
TOP
The Rational Male - Positive Masculinity Rollo Tomassi / С меки корици
common.buy 38 лв
TOP
Floral One Line a Day: A Five-Year Memory Book Yao Cheng / Тефтер
common.buy 30 лв
Inspired by Nature Hans Blomquist / С твърди корици
common.buy 63 лв
The Shadows Between Us Tricia Levenseller / С твърди корици
common.buy 38 лв

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.

Информация за книгата

Пълно заглавие Little Prover
Автор Carl Eastlund
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 248
Баркод 9780262527958
ISBN 9780262527958
Код Либристо 09392623
Издателство MIT Press Ltd
Тегло 472
Размери 179 x 231 x 16

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Mobile & handheld device programming / Apps programming
Computing & Information Technology > Computer programming / software engineering > Web programming
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo