Название: Доказательство корректности программ
Автор: К. Рустан, М. Лейно
Издательство: ДМК Пресс
Год: 2024
Страниц: 532
Язык: русский
Формат: pdf
Размер: 12.8 MB

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений. Книга предполагает наличие у читателя базовых знаний программ и программирования. Стиль этого программирования (функциональный, императивный) и конкретный используемый язык не так важны, но будет полезно, если используемые читателями языки программирования поддерживают концепцию типов.

Название: Java File Handling Step by Step: A Practical Guide with Examples
Автор: William E. Clark
Издательство: Nobtrex L.L.C.
Год: 2025
Страниц: 227
Язык: английский
Формат: epub (true)
Размер: 10.1 MB

This book provides a comprehensive and detailed guide to managing file operations in Java, offering clear explanations and practical examples to help both beginners and experienced developers enhance their programming skills. The content is meticulously organized to introduce fundamental concepts and progressively build towards more complex applications, ensuring that readers develop a solid understanding of file handling techniques and best practices in Java. The organization of the material follows a logical progression, starting with the basics of file handling and Java I/O, progressing into the use of streams for reading and writing data, and expanding into file and directory management, file paths, and metadata operations. Each chapter is crafted with precision, incorporating step-by-step examples and code demonstrations that illustrate the effective application of concepts, alongside detailed discussions on error handling and practical file-related applications.

Название: The French Recipe Cookbook
Автор: Carole Clements, Elizabeth Wolf-Cohen
Издательство: Smithmark Pub
Год: 1995
Cтраниц: 256
Формат: pdf
Размер: 55,31 Мб
Язык: English

The various regions of France contribute to the highly admired and delectable epicurean tradition featured in this comprehensive collection of recipes. Numerous exciting traditional and contemporary dishes illustrated with over 800 full-color photographs, as well as regional favorites and specialties, capture the essence of French food with recipes suitable for every occasion throughout the year. The book's accessible format and the professional cook's tips and hints found throughout make this book invaluable for every cook's library.

Название: Жінка не варта уваги. Віяло леді Віндермір
Автор: Оскар Вайльд
Серия:«English Library»
Изд-во: Знання
Год: 2020
Страниц: 190
Язык: українська
Формат: pdf/djvu/txt
Размер: 13,17 Мб

Оскар Вайльд (1854—1900) — ірландський письменник, драматург, поет, есеїст, видатний представник європейського декадансу. “Жінка, не варта уваги” і “Віяло леді Віндермір” — соціально-побутові комедії, що стали гострою сатирою на тогочасне суспільство і ще за життя принесли славу автору. Оскар Вайльд як визнаний майстер парадоксу закладає парадоксальність вже в саму назву своїх драматичних творів, розгортаючи її потім у сюжеті. Попри сарказм, іронію, висміювання сімейних і суспільних звичаїв, комедії Вайльда значно серйозніші, ніж може здатися на перший погляд. За блискучою дотепністю автора прихована глибина порушених проблем.

Название: Крылатый связист
Серия: Книга за книгой
Автор книги: Виктор Авдеев
Художник: И.Пахолков
Издательство: Детская литература
Год выпуска: 1974
Формат: PDF
Страниц: 52
Язык: русский
Качество: высокое
Размер: 13,9 Mb

События, о которых пишет в своих рассказах Виктор Авдеев, происходят в годы гражданской войны. В этих рассказах живут и действуют ребята фабричного поселка, портового городка. Автор рассказывает об их самоотверженной помощи революционным матросам, разведчикам.

Название: Мамино сердце
Автор книги: разные авторы
Художники: С.Бордюг, Н.Трепенок
Издательство: Малыш
Год выпуска: 1984
Формат: PDF
Страниц: 44
Язык: русский
Размер: 36,7 Mb

О маме и о маме Родине - большинство рассказов этой книги. Поэтому вся книга названа «Мамино сердце» — по одноименному рассказу писателя Алексея Ярушникова. Этот рассказ очень похож на сказку. Только это быль. На самом деле так было. И не зря пословица есть у нашего народа: «Мамино слово и со дна моря спасёт».

Название: В. Маяковский - Детям
Автор книги: Владимир Маяковский
Художники: А.Пахомов, В.Лебедев, Н.Цейтлин, Ю.Коровин
Издательство: Детгиз
Год выпуска: 1959
Формат: PDF
Страниц: 108
Язык: русский
Размер: 71,7 Mb

Всю свою «звонкую силу поэта», все свои стихи, всю жизнь свою Маяковский отдал народу, своей Родине. Не зная отдыха, всегда взволнованный, радостно или гневно, всегда горячо, честно, умно и от всего своего большого сердца писал он свои произведения. Он старался своими стихами помочь советским людям, учил их гордиться своей великой страной и ненавидеть врагов.

Название: Армейская азбука
Автор книги: Борис Никольский
Художник: Владимир Шевченко
Издательство: Детская литература
Год выпуска: 1983
Формат: PDF
Страниц: 176
Язык: русский
Размер: 100 Mb

Борис Никольский широко известен как автор многочисленных рассказов о Советской армии, о различных воинских профессиях, о значении службы в армии и о том, какое влияние оказывает эта служба на молодых людей, прошедших её. Это была армия, которую уважал и побаивался весь мир. В этой книге под одной обложкой собраны рассказы, выходившие ранее отдельными изданиями.

Название: Бабушка Дина
Серия: Мои первые книжки
Автор книги: Николай Носов
Художник: Г.Мазурин
Издательство: Детская литература
Год выпуска: 1967
Формат: PDF
Язык: русский
Размер: 11,1 Mb

«Бабушка Дина» – замечательный рассказ Николая Носова про бабушку – самую любимую, самую красивую, самую добрую, самую заботливую. Короткая, трогательная и одновременно смешная история о том, как много значит бабушка в семье, о ее заботе, внимании, теплоте, которую она дарит своим детям и внукам.

Название: По щучьему веленью
Автор книги: Русские народные сказки
Художник: С.Адеянов
Издательство: Верхне-Волжское книжное издательство
Год выпуска: 1991
Формат: PDF
Страниц: 52
Язык: русский
Размер: 27,5 Mb

Великолепное издание, в которое вошли шесть русских народных сказок. Сказки эти часто переиздаются, как отдельными книжками, так и входят в разные сказочные сборники. Но эта книга особенная. Иллюстрации для нее нарисовал художник из Палеха Сергей Адеянов. Они словно сошли со знаменитых на весь мир палехских шкатулок. Книга станет достойным украшением библиотеки любого любителя советской детской книги.