Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Book Details
Format
Hardback or Cased Book
ISBN-10
0471704490
ISBN-13
9780471704492
Publisher
John Wiley & Sons Inc
Imprint
Wiley-Interscience
Country of Manufacture
US
Country of Publication
GB
Publication Date
Apr 15th, 2008
Print length
248 Pages
Weight
544 grams
Dimensions
24.30 x 16.30 x 2.20 cms
Product Classification:
Software Engineering
Ksh 21,050.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
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.
Get Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by John Wiley & Sons Inc and it has pages.
