Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS; John Wiley & Sons Limited

Издатель: John Wiley & Sons Limited
ISBN: 9780470253397
Книги: Программирование
ID:6511277

Где купить

Рейтинг:

(0/5)

Отзывы (0) Оставить отзыв

Описание Характеристики Цены Отзывы (0)

Цены

Последняя известная цена от 386 р. до 386 р. в 1 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

Магазин	Цена	Наличие
OMA BY 5/5 Информация о компании	Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов

Algo BY 5/5 Информация о компании	Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку ✔ Промокоды на скидку

OZ BY 5/5 Информация о компании	Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис ✔ Промокоды на скидку

24shop BY 5/5 Информация о компании	24shop - это возможность приобрести все необходимое в одном месте

Домотехника 5/5 Информация о компании

21vek BY 5/5 Информация о компании	Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время ✔ Промокоды на скидку

Лабиринт 5/5 ООО "ЛАБИРИНТ.РУ" ИНН: 7728644571	Заказ от 800 рублей мы привезем бесплатно!

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	✔ Промокоды на скидку

Описание

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.

Смотри также о книге.