Litgu.ru - Литературный Гуру

Название: Program Proofs
Автор: K. Rustan M. Leino
Издательство: The MIT Press
Год: 2023
Страниц: 496
Язык: английский
Формат: epub (true)
Размер: 10.1 MB

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed.

Название: The Sea Mark: Captain John Smith's Voyage to New England
Автор: Russell M. Lawson
Издательство: University Press of New England
ISBN: 1611685168
Год: 2015
Формат: EPUB
Страниц: 252
Размер: 15,5 МБ
Язык: Английский

By age thirty-four Captain John Smith was already a well-known adventurer and explorer. He had fought as a mercenary in the religious wars of Europe and had won renown for fighting the Turks. He was most famous as the leader of the Virginia Colony at Jamestown, where he had wrangled with the powerful Powhatan and secured the help of Pocahontas.

Название: Изгой ночного клана. Том 2
Автор: Родион Дубина
Цикл/серия: Изгой ночного клана
Номер книги: 2
Жанр: Фантастика
Издательство: Клуб любителей аудиокниг
Год: 2022
Тип: аудиокнига
Читает: Лукашев Ярослав
Язык: Русский
Время звучания: 08:29:41
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 467.14 Mb

Я был охотником ночного клана и защищал людей от мутантов. Но меня изгнали, оставив погибать за стенами. А настоящие враги остались внутри города. Я хотел во всём разобраться и отомстить предателям. Но мои планы сразу изменились, как только я узнал о своей семье.

Название: Airbrush Step by Step
Год: 2023
Номер: 67
Формат: PDF
Размер: 52,4 МБ
Язык: Английский
Количество страниц: 68

Airbrush Step by Step is the magazine for all airbrush-artists from beginners to professionals. ASBS covers a wide variety of applications such as illustration, model making, autographics, body painting etc. Each issue features step-by-step tutorials as well as artist interviews, airbrush news, technical advice, events and more.

Название: Sew Fabulous Fabric: 20 Charming Ways to Sew Fabrics into Your Life
Автор: Alice Butcher, ‎Ginny Farquar
Издательство: David & Charles
Год: 2008
Формат: EPUB
Размер: 32 Мб
Язык: английский / English

Start your own fabric adventure with this inspiring collection of unique homestyle projects, combining new and recycled fabrics for vintage, homespun and retro results! Contains a variety of practical, yet pretty projects for you and your home, including cozy cushions, curtains, table linens, gift bags, irresistible handbags, cuddly toys and more. Discover 20 inspiring ways to make the most of every last scrap of fabric, whether it's a luscious new textile, a pair of old jeans or a thrift-store bargain. Make your house a home with chic cushions and curtains, liven up your look with colorful corsages and create charming keepsakes for your loved ones to treasure. Follow the simple step-by-step instructions, clear patterns and colorful artworks to achieve wonderful results every time.

Название: Authentic Italian Pizza
Автор: Tommaso Sorentino
Издательство: Tommaso Sorentino
Год: 2020
Формат: EPUB
Страниц: 84
Размер: 10,6 МБ
Язык: Английский

Would you like to make a tasty and genuine pizza for your family but don't know where to start? If you answered yes to any one of these questions, this book is definitely for you! After 35 years of experience, I have gained both in Italy and abroad, I decided that all the information I managed to gather over time should not remain a secret. It could be a great starting point for other interested people.

Название: Кавказ и Византия. Выпуск 2
Автор: Коллектив авторов
Издательство: Ереван: Издательство АН Армянской ССР
Год: 1980
Формат: pdf
Страниц: 244
Размер: 14 mb
Язык: Русский

Включенные в сборник работы посвящены исследованию актуальных проблем кавказоведения и византийстики. На основании новых материалов рассматриваются отдельные этапы армяно-грузино-греческих историко-культурных взаимоотношений, выявляются и характеризуются новые источники. Впервые публикуется ряд новых страниц научного наследия, а также древнеармянский перевод "Эпитафии" Григория Назиaнзина. Предназначается для историков и филологов, а также для широкого круга читателей.

Название: Методы решения задач в общем курсе физики: Механика
Автор: Корявов В.П.
Издательство: Высшая школа
Год: 2007
Cтраниц: 375
Формат: pdf
Размер: 49 мб
Язык: русский

В учебном пособии подробно разобраны методы решения задач по курсу механики. Задачи систематизированы по разделам, каждый из которых предваряется кратким изложением теоретического материала. Для студентов технических вузов, а также преподавателей физики высших и средних учебных заведений. Решебник "Сборника задач по общему курсу физики (часть 1)" Овчинкина и др. по механике.

Название: Птицы Европейской России
Автор: Флинт В.Е., Мосалов А.А., Лебедева Е.Д. и др.
Издательство: М.: Алгоритм
Год: 2001
Cтраниц: 224, цвет.ил.
Формат: djvu
Размер: 37 мб
Язык: русский

Полевой определитель. Подготовленный Союзом охраны птиц России полевой определитель птиц, обитающих в Европейской части нашей страны, предназначен в первую очередь для начинающих любителей птиц - тех, кто ранее ни разу не пользовался полевыми определителями птиц для их узнавания в природе.

Название: New Mexico's Reptiles and Amphibians: A Field Guide
Автор: R. D. Bartlett, Patricia P. Bartlett
Издательство: University of New Mexico Press
ISBN: 0826352073
Год: 2013
Формат: EPUB
Страниц: 360
Размер: 15,7 МБ
Язык: Английский

New Mexico is home to 165 species and subspecies of snakes, lizards, turtles, frogs, toads, and salamanders. Some are ubiquitous and others are localized. If you want basic and reliable information on the lizard in your backyard or the snake you encountered on a hike in the mountains, this handy field guide is invaluable.