Все книги автора Nicolas Navet
Найдено 1 книг
Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
This title is devoted to presenting some of the most important concepts and techniques for describin...