Add Wish List Add to Cart The item has been added Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA... RRP: $122.00 Add to Cart The item has been added