At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

техническая литература

технические науки

Industrial Use of Formal Methods. Formal Verification

Safety Management of Software-based Equipment

Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method

Static Analysis of Software. The Abstract Interpretation

Formal Methods. Industrial Use from Model to the Code

Safety of Computer Architectures

CENELEC 50128 and IEC 62279 Standards

любовные романы

фэнтези

учебная и научная литература

современная русская литература

современные любовные романы

современная зарубежная литература

детективы

об истории серьезно

приключения

книги о приключениях

ужасы / мистика

учебники и пособия для вузов

cтихи, поэзия

книги по психологии

стихи и поэзия

гуманитарные и общественные науки

русская классика

мистика

боевики, остросюжетная литература

публицистическая литература

С чего начиналось мое творчество? Конечно же, со стихотворений, написанных в пору студенчества. Вторую жизнь стихи получили, став текстами для песен нашего с супругом и друзьями музыкального коллектива. Сначала это был проект "Selena", наполненный готичными мотивами. Затем, после выпуска двух альбомов, "Selena" выросла в более тяжелый проект "Lake of silent terror". Не исключено, что тексты могут навеять мысли о том, чтобы по ним написать что-нибудь в прозе, кто знает? ; ) А пока приглашаю Вас с ними познакомиться!

любовное фэнтези

Сборник стихотворений «Обрыв»

Экономия времени и денег начинается с плиты. Эта книга — ваш личный помощник в организации домашнего питания без суеты, хаоса и бесконечных походов в магазин.

Внутри — десятки проверенных рецептов, которые можно приготовить заранее и хранить в морозилке или холодильнике:

пельмени, вареники, котлеты и тефтели,

зажарки и основы для супов,

тесто для пирогов, пиццы и блинов,

домашние полуфабрикаты и универсальные начинки.

Всё просто, понятно, по-настоящему вкусно и рассчитано на реальные будни. Готовьте впрок — чтобы потом просто доставать и есть.

Идеально для тех, кто хочет тратить меньше времени и денег, но при этом кормить себя и близких вкусно, разнообразно и по-домашнему.

кулинария

Готовим впрок, чтобы не тратиться потом – пельмени, котлеты, тесто, зажарки

Мульти-абсурд, поражающий смешением фантастики, гротеска, юмора и романтизма. За мирным рассказом о школьнице 80-х следует стремительное развитие сюжета, где нашлось место неслыханным превращениям, любви и смерти, прозрениям и разочарованиям. Московская буффонада, где фантастические герои смешны и страшны в своей реалистичности. Роман можно было бы назвать антиутопией, если бы он не рассказывал о том, что уже было, или пророчеством, поскольку мы знаем, что вскоре, спустя семь лет, случилось. Блестящий юмор, пластичный язык, бурлеск фабулы, умный подтекст не наскучат.
Если конкретней, текст конструирует общность, наличествовавшую в прошлом веке. Тогда все являли собою тезисы, не было секса,  многих других вещей, также господствовала идея  «радужных горизонтов». Тогда все хрюкали, и устраивались массовые кувыркания через голову. Жил тогда человек-ворон (он живёт до сих пор в Спасской башне) да московская нежить с именем Алгаритма (схоронена на Ваганьковском кладбище, участок 1051 б). 


юмористическая фантастика

городское фэнтези

Алгаритма из СССР

В конце июня парень и девушка случайно знакомятся на берегу Черного моря. Девушка оказывается немного странной, она приводит парня к каким-то магическим камням и говорит, что они дарят людям любовь. 
Парень не верит ни в какую любовь, но вдруг все неожиданно меняется, и он начинает испытывать непонятное чувство к девушке. Все идет, как в знаменитых любовных романах, но потом девушка внезапно уезжает, а волшебные камни исчезают.


короткие любовные романы

любовь и отношения

Любовь на горячих камнях

Всё, что я собираюсь написать - чистая правда. Я не собираюсь ничего приукрашивать. Моей целью является в точности передать ряд поразительных событий, происходящих со мной. Я много обдумывал те события и собираюсь холодно их оценить и подвергнуть критическому анализу, а также сразу же в мельчайших подробностях выписывать всё, что произойдёт со мной в будущем. Я не безумен и сам со скепсисом отнёсся бы ко всему, что собираюсь описать, если бы не видел это своими глазами. Прошу лишь отнестись с пониманием и постараться поверить мне. Для меня нет смысла врать - я не получу с этого никакой выгоды. Но я чувствую, что что-то произойдёт. И произойдёт совсем скоро. Мы должны быть к этому готовы настолько, насколько это возможно.

триллеры

историческая литература

ужасы

Очерки о взоре Великого Гха'арна

Что делать, если твой заповедный лес, веками служивший тихой гаванью для нечисти и заблудившихся путников, вдруг атакует… прогресс? Баба-Яга, хозяйка избушки на курьих ножках и магистр темных искусств, столкнулась именно с этим. Ее вековой покой нарушают орды туристов с селфи-палками, назойливые блогеры в поисках «аутентичного контента» и – о ужас! – нестабильный Wi-Fi сигнал, от которого чешется костяная нога.

Древняя магия бессильна против спам-рассылок, порча не берет смартфоны (только вызывает странные глюки), а попытки сбить дрон помелом приводят лишь к насмешкам в соцсетях. Добавляет перца внучка Кикимора – юное дитя цифровой эпохи, одержимое лайками, хайпом и мечтой превратить бабулю в «топового фольк-инфлюенсера». Ее попытки «монетизировать наследие» и научить Ягу делать сторис приводят к комичным катастрофам и экзистенциальному кризису у обеих.

Ироничная, гротескная и до коликов смешная повесть о том, что даже Бабе-Яге иногда приходится идти в ногу со временем.

юмористическое фэнтези

русское фэнтези

Баба-Яга против Прогресса

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


личная эффективность

саморазвитие / личностный рост

саморазвитие и советы

Как развить эмоциональный интеллект. Простые шаги к успеху

Полная версия

Industrial Use of Formal Methods. Formal Verification

Другие книги автора