Leveraging Applications of Formal Methods, Verification and Validation. Speciali
68,30 €
Specialized Techniques and Applications. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. - Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling.-Fault Model Design Space for Cooperative Concurrency.
Jetzt bei Ebay: