Formal Modeling and Analysis of Timed Systems Sergiy Bogomolov & David Parker: другие книги

Numerical Software Verification

2017