Cover Image
Read Now

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

Bibliographic Details
Main Author: Yoeli, Michael
Other Authors: Kol, Rakefet
Format: eBook
Language:English
Published: Hoboken, N.J. Wiley-Interscience 2008
Series:Wiley series on parallel and distributed computing
Subjects:
Lotos (computer Program Language) / Http://id.loc.gov/authorities/subjects/sh94008240
Lotos (langage De Programmation)
Computer Software / Verification / Fast
Technology & Engineering / Electronics / Circuits / Integrated / Bisacsh
Logiciels / Vérification
Lotos (computer Program Language) / Fast
Integrated Circuits / Verification / Fast
Circuits Intégrés / Vérification
Integrated Circuits / Verification / Http://id.loc.gov/authorities/subjects/sh93005422
Petri Nets / Fast
Computer Programs / Verification / Http://id.loc.gov/authorities/subjects/sh85029528
Computer Programs / Verification / Fast
Réseaux De Pétri
Computer Software / Verification / Http://id.loc.gov/authorities/subjects/sh85029537
Petri Nets / Http://id.loc.gov/authorities/subjects/sh85100346
Technology & Engineering / Electronics / Circuits / General / Bisacsh
Online Access:
Collection: O'Reilly - Collection details see MPG.ReNa
Description
Summary: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
Physical Description:xv, 231 pages illustrations
ISBN:047025341X
9780470253397
9786611284671
9780470253410
0470253398

Similar Items