FORMAL METHODS AND MODELS FOR SYSTEM DESIGN. ACM-IEEE INTERNATIONAL CONFERENCE. 20TH 2022. (MEMOCODE 2022)

Item #:
066591
$100.50 - $201.00
Adding to cart… The item has been added

Details

  • Title: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2022)
  • Date/Location: Held 13-14 October 2022, Shanghai, China.
  • IEEE #: CFP22MCD-POD
  • ISBN: 9798350331912
  • Pages: 152 (1 Vol)
  • Format: Softcover
  • TOC Link: View Table of Contents
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • POD Publisher: Curran Associates, Inc. ( Feb 2023 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2022)
  • Date/Location: Held 13-14 October 2022, Shanghai, China.
  • IEEE #: CFP22MCD-POD
  • ISBN: 9798350331912
  • Pages: 152 (1 Vol)
  • Format: Softcover
  • TOC Link: View Table of Contents
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • POD Publisher: Curran Associates, Inc. ( Feb 2023 )