Concise Introduction to Alternating Time Temporal Logics: A Guide for Understanding the Model Checking Problem
Confronta i webshop (1)
Shop
Prezzo
Pagine: 212, Copertina rigida, Springer-Verlag GmbH