Interactive Systems. Design Specification and Verification
53.49 EUR
Entdecken Sie die neuesten Forschungsergebnisse des 10. internationalen Workshops zu interaktiven Systemen in Funchal: überarbeitete Beiträge, die neue Methoden zur Modellierung, Analyse und Verifikation von Softwaresystemen vorstellen.