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

af Michael (Department of Computer Science Yoeli

Bog, Hardback, Engelsk, 2008

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.

Sammenlign priser Se bogdetaljer

Priser fra 4 boghandlere

BoghandlerPrisFragtLevering
Bogreolen1.112,95 kr.0,00 kr.2-4 ugerKøb for 1.112,95 kr.Køb
Tales1.113,95 kr.34,95 kr.2-4 ugerKøb for 1.113,95 kr.Køb
Pling BØGER1.113,95 kr.34,95 kr.2-4 ugerKøb for 1.113,95 kr.Køb
SAXO1.114,95 kr.Gratis fragtUkendtKøb for 1.114,95 kr.Køb

Bogdetaljer

SprogEngelsk
IndbindingHardback
ISBN9780471704492
Udgivet15/04/2008
Udgivet afJohn Wiley & Sons Inc
Længde248 sider
ForfatterMichael (Department of Computer Science Yoeli
GenreBusiness og læring, Computer og IT