Ci, którzy interesowali się tym produktem, kupili także
Opis produktu
Real-Time: Theory in Practice - J.W.de Bakker
This volume contains the proceedings of a workshop dedicated to the theory of real-time and the established research areas in formal methods, such as process algebra, temporal logic, and model checking. It aims to show what is going on in the field worldwide.