• Shop by category
  • Powered by eBay
  • Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 202

    • Item No : 365765785058
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : grandeagleretail
    • Current Bid : US $98.63
    • * Item Description

    • The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category