FORMAL METHODS AND MODELS FOR SYSTEM DESIGN. ACM-IEEE INTERNATIONAL SYMPOSIUM. 21ST 2023. (MEMOCODE 2023)

Item #:
071263
$104.50 - $209.00
Adding to cart… The item has been added

Details

  • Title: 2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2023)
  • Date/Location: Held 21-22 September 2023, Hamburg, Germany.
  • IEEE #: CFP23MCD-POD
  • ISBN: 9798350308624
  • Pages: 195 (1 Vol)
  • Format: Softcover
  • TOC Link: View Table of Contents
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • POD Publisher: Curran Associates, Inc. ( Dec 2023 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2023)
  • Date/Location: Held 21-22 September 2023, Hamburg, Germany.
  • IEEE #: CFP23MCD-POD
  • ISBN: 9798350308624
  • Pages: 195 (1 Vol)
  • Format: Softcover
  • TOC Link: View Table of Contents
  • Publisher: Institute of Electrical and Electronics Engineers (IEEE)
  • POD Publisher: Curran Associates, Inc. ( Dec 2023 )