Interactive Systems. Design, Specification, and Verification: 10th International Workshop | Kaicus Deutschland

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... Notes in Computer Science, 2844, Band 2844)

53.49 EUR 9% Off 59.00 EUR

Dieses Buch sammelt die neuesten Forschungsergebnisse des 10. internationalen Workshops zu interaktiven Systemen in Funchal, Madeira, mit überarbeiteten Papieren, die neue Ansätze zur Modellierung, Analyse und Verifikation von Softwaresystemen vorstellen.

Marke: Jorge, Joaquim A.
ISBN: 3540201599
MPN: Illustrations