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

12826

Издатель: 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 магазине. На сегодняшний день доступен в 1 магазине: ЛитРес. По цене от 12826 р. до 12826 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.

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

О книге

Основные характеристики товара
Параметр	Значение
ISBN	9780470253397
Автор(ы)	Michael Yoeli
Издатель	John Wiley & Sons Limited
Форматы электронной версии	PDF

Где купить (1)

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

Цена от 12826 руб до 12826 руб в 1 магазине

Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.

сообщить о снижении цены

Книга: Verification of Systems and Circuits Using LOTOS Petri Nets and CCS (Michael Yoeli); John Wiley & Sons Limited
Магазин	Цена	Наличие
ЛитРес 5/5 ООО «Литрес» ИНН: 7719571260	12826 12843 Электронная книга Кэшбэк до 6.9% история цены +6.1%	обновлено 16.08.2025

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

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

На сегодняшний день товар «Книга: Verification of Systems and Circuits Using LOTOS Petri Nets and CCS (Michael Yoeli); John Wiley & Sons Limited» можно купить с кешбеком в 1 магазине: ЛитРес

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

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