Электронная книга

Binary Decision Diagrams and Extensions for System Reliability Analysis