"Simulation and Verification of Electronic and Biological Systems" - читать интересную книгу автора (Peng Li, Luis Miguel Silveira, Peter Feldmann)