A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples. Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.

зарубежная компьютерная литература

программирование

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

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

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

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

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

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

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

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

мистика

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

биографии и мемуары

современные детективы

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

сказки

попаданцы

литература 19 века

научная фантастика

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

триллеры

публицистика

зарубежная классика

Двадцать пять лет назад пошёл дождь, который изменил мир до неузнаваемости.Те, чья кожа соприкоснулась с каплями дождя, рухнули замертво, чтобы потом подняться и превратится в чудовищ.
Я не застала мирное время, так как родилась всего девятнадцать лет назад и всю жизнь прожила на военной базе, но уверена, что оно было лучше, чем то, что мы имеем сейчас. С двенадцати лет меня учили сражаться и выживать. Но я поняла, что этого чертовски мало, когда оказалась за стеной, сбежав с базы. Корпорация "Рэйнкорп" что-то активно ищет, а скорее - кого-то. Под личиной медицинского  центра, что заботиться о выживших, скрываются чудовища не лучше мутантов. Они ищут одарённых, и я одна из них. У меня удивительно бесполезный дар. Я вижу чувства и эмоции людей. Эта способность никак не поможет мне выжить, но она удивительна.
Зачем я нужна "Рэйнкорп"? Много таких одаренных, как я? Как выжить? Куда идти? Столько вопросов и без ответа. Но это пока. После дождя появляется радуга, и я обязательно её увижу.

боевая фантастика

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

любовно-фантастические романы

После дождя. Книга 1

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

детская проза

Волшебные сказки о феях

Колхозное поле, село, старое кладбище, скрипят кладбищенские ворота, конец 1990-х, дует ветер, кто-то умирает... Всë проходит - слова Соломона.

контркультура

Печаль полей

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

ужасы

Мир зомби

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

Курочка и её цыплята

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

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

Демонёнок внутри

В данном произведении описан небольшой промежуток времени, который провели в тайге два случайно встретившихся человека – девушка и юноша. С разными судьбами, целями в жизни, отношением к жизни. Возникшее между ними чувство притяжения не имеет никаких шансов на продолжение. Любовь в данном случае не имеет права на существование. Или все-таки имеет?
Действие происходит в семидесятые годы прошлого века. Как в то далекое от нас время относились молодые люди к любви,  долгу,  истории, к своей стране? Как они жили? Что делали? Что они думали? 
За четыре дня знакомства наши герои много говорили об этом.

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

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

Незапланированный маршрут

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

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS