Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS de M Yoeli

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS: Wiley Series on Parallel and Distributed Computing

Autor M Yoeli

en Limba Engleză Hardback – 14 apr 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.

Citește tot Restrânge

Din seria Wiley Series on Parallel and Distributed Computing

Preț: 817^.28 lei

Preț vechi: 898^.11 lei
-9% Nou

Puncte Express: 1226

:
156^.46€ • 160^.91$ • 129^.80£

Carte tipărită la comandă

Livrare economică 17 februarie-03 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780471704492
ISBN-10: 0471704490
Pagini: 248
Ilustrații: Illustrations
Dimensiuni: 162 x 235 x 21 mm
Greutate: 0.54 kg
Editura: Wiley
Seria Wiley Series on Parallel and Distributed Computing

Locul publicării:Hoboken, United States

Public țintă

Practicing software engineers; and advanced undergraduate and graduate students of computer .