Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
The text covers both basic and advanced techniques based on state performance systems and binary systems. It presents a dynamic reliability analysis of safety-critical systems using Petri Nets and dynamic resource allocation modeling of software with patching.