• Shop by category
  • Powered by eBay
  • Leveraging Applications of Formal Methods, Verification and Validation. REoCAS

    • Item No : 136047055822
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : bestpriceworldwide
    • Current Bid : US $104.18
    • * Item Description

    • Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category