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

...Нажми для увеличения фото
16 531 ₽Скидка: 21%

13 002 ₽

Товар в наличии
  Узнать о снижении стоимости
Отправим письмо при снижении стоимости.

Рекомендательный сервис

  • Общий рейтинг 4.00
  • Рейтинг покупателей 4.07
  • Рейтинг экспертов 4.30
  • Качество материалов 4.02
  • Надежность 4.00
  • Простота в использовании 4.23
  • Ремонтопригодность 4.66
  • Эффективность выполнения своих функций 4.60
  • Коэффициент удивления "Вау!" 4.00
  • Безопасность для пользователя4.70
  • Внешний вид 4.63
  • Удобство в уходе и чистке 4.26
  • Экологическая безопасность 4.30
  • Гарантия на товар 4.22
  • Соответствие стандартам качества 4.03
  • Инновационные технологии 4.20
  • Хит продаж 4.00
  • Скорость морального устаревания 4.06
  • Энергоэффективность 4.63
  • Универсальность использования 4.09
  • Наличие дополнительных функций 4.20
  • Соотношение цена-качество 4.32
  • Практичность и удобство хранения 4.00
  • Стабильность работы в различных условиях 4.07
  • Возможность персонализации 4.09
  • Ликвидность 4.60
  • Индекс рекомендаций 4.22
2705 покупателей и эксперты портала 1ya.ru рекомендуют к покупке товар «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS» или его аналог из списка ниже.
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.
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников или размещена продавцом. Цена указана на дату: 09.05.2025 г. На текущий момент стоимость может отличаться. Предложение не является публичной офертой.
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS продается в интернет-магазине ЛитРес
Эксперт: Светлана М., персональный онлайн-шопер
Дата рецензии: 4 июля 2025 года
Рекомендация к покупке положительная

Доставка покупки

    • В электронном виде;
    • Читать онлайн;
    • Скачать на компьютер или мобильные устройства.

Оплата заказа

    • Банковской картой;
    • электронными деньгами Яндекс-Деньги; WebMoney, Qiwi Кошелек, PayPal;
    • Наличными через терминалы;
    • Банковским переводом.
  • Наименование: ООО «ЛитРес»
  • ИНН: 7719571260

Рекомендуем аналогичные товары

Дополнительно из категории