LOTOS Petri Net Verification de Michael Yoeli

LOTOS Petri Net Verification: Wiley Series on Parallel and Distributed Computing

Autor Michael Yoeli, Rakefet Kol

en Limba Engleză Hardback – mar 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ț: 752^.30 lei

Preț vechi: 940^.38 lei
-20% Nou

Puncte Express: 1128

:
133^.10€ • 155^.07$ • 116^.23£

Carte tipărită la comandă

Livrare economică 19 ianuarie-02 februarie 26

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: 161 x 240 x 18 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 .