Formal Methods for Discrete-Time Dynamical Systems by Calin Belta (English) Hard
174,10 €
By Calin Belta, Boyan Yordanov, Ebru Aydin Gol. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book. - Temporal Logics and Automata. - Model Checking.
Jetzt bei Ebay:
