Näita mobiiliversiooni

Liigu sisu juurde Liigu peamenüü juurde

Avaleht / Raamatud / Arvutid / Käsiraamatud / Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Raamat

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

Autor: Michael Yoeli, Rakefet Kol

* * * * * * * * * * Loe arvustusi (0)

Toode pole saadaval

Sisukirjeldus

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.

Lisainfo
ISBN 9780471704492
Ilmumisaasta 2008
Keel ingliskeelne
Formaat Kõvakaaneline
Lehekülgi 232 lk
Kirjastus John Wiley and Sons Ltd
Sari Wiley Series on Parallel and Distributed Computing
Lisamise aeg: 30.03.2017

Toode pole saadaval

Arvustused (0)
Suhtlusvõrkude arvustused

Vabandame! Teie veebilehitseja on liiga väike meie kodulehe külastamiseks.

We're sorry! Your browser is too small for this website.

Приносим извинения! Размеры вашего браузера слишком малы для посещения нашей страницы.