Leveraging Applications of Formal Methods, Verification and Validation. Verifica
67,86 €
The papers presented were carefully reviewed and selected for inclusion in the proceedings. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.
Jetzt bei Ebay: