Verification of Systems and Circuits Using LOTOS Petri Nets and CCS (Michael Yoeli); John Wiley & Sons Limited

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

Рейтинг:

(0/5)

Описание

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 (Michael Yoeli); John Wiley & Sons Limited»

По данным нашего сервиса товар предлагался к продаже в 1 магазине. В данный момент у нас нет информации о наличии данного товара в магазинах. Цена на данный товар варьировалась от 11570 р. до 11570 р. Вы можете поискать его на других площадках ниже, а также ознакомиться с ценами на Яндекс.Маркет. Также вы можете подписаться на сообщение о наличии товара используя сервис «Сообщить о поступлении» - мы оповестим вас как только товар появится в продаже. Если товар снят с производства, сервис «История цены» поможет соориентироваться на вторичном рынке.

Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис.

О книге

Основные характеристики товара
Параметр	Значение
ISBN	978-0-470-25339-7
Автор(ы)	Michael Yoeli
Издатель	John Wiley & Sons Limited

Где купить

Как купить или где мы находимся +

Последняя известная цена от 11570 руб до 11570 руб в 1 магазине

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

Также вы можете ознакомиться с нашей подборкой:
Книги: Информационные технологии, Программирование - издательство "John Wiley & Sons Limited"
Книги: Информационные технологии, Программирование с ценой 9256 р. - 13884 р.

сообщить о поступлении

Книга: Verification of Systems and Circuits Using LOTOS Petri Nets and CCS (Michael Yoeli); John Wiley & Sons Limited
Магазин	Цена	Наличие
Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	Кэшбэк до 3.8% Промокоды на скидку

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома Кэшбэк 57

История цены
Магазин	Последняя известная цена	Обновлено
ЛитРес	11570 история цены -4.1%	15.08.2024

Кэшбэк сервис СкидкаГИД

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

Заказывайте он-лайн и получайте часть денег обратно, подробнее..