0700 20 866 Виж всички данни за контакт
Меню
0 0
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, 9780471704492

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

307.9 BGN
Цена: 307.90 лв.
В наличност
Количество
Кyпи сега
Прочети описанието
Доставка до твой адрес
  • При теб до 14 работни дни (доставка от UK)
  • Книгата е налична на склад при доставчик в Англия (*важи за продукти със статус "В наличност")
  • Стойността на доставката се изчислява допълнително и се начислява при финализиране на поръчката.
  • Подробности за поръчка на Книги на чужд език ще откриете тук
This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.
Върни се горе и купи

Информация за “Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS”

  • Баркод 9780471704492
  • Издателство John Wiley and Sons Ltd
  • ISBN 9780471704492
  • Брой страници 232
  • Година на издаване 2008 г.
  • Корица Hardback
  • Тегло 0.54 кг.
  • Размери 239 x 167 x 21

Няма написани коментари - напиши първия коментар от тук.

Напиши коментар

Попълни формата по-долу:

Оценка
Най-ниската е 1, най-високата 5
Ще харесаш още
Object-Oriented Systems Analysis Object-Oriented Systems Analysis 1988 г.
Цена: 213.90 лв.
Solid Software Solid Software 2001 г.
Цена: 156.90 лв.
The C# Programming Language The C# Programming Language 2003 г.
Цена: 75.90 лв.
Universal Logic: An Anthology Universal Logic: An Anthology 2012 г.
Цена: 163.90 лв.