METHODEN UND BESCHREIBUNGSSPRACHEN ZUR MODELLIERUNG UND VERIFIKATION VON SCHALTUNGEN UND SYSTEMEN. WORKSHOP. 26TH 2023. (MBMV 2023) ITG-FACHBERICHT 309

METHODEN UND BESCHREIBUNGSSPRACHEN ZUR MODELLIERUNG UND VERIFIKATION VON SCHALTUNGEN UND SYSTEMEN. WORKSHOP. 26TH 2023. (MBMV 2023) ITG-FACHBERICHT 309

Item #:
069258
Our Price: $145.00
Adding to cart… The item has been added

Details

  • Title: Methoden und Beschreibungssprahen zur Modellierung und Verifikation von Schaltungen und Systemen; 26. Workshop (MBMV 2023)
  • Date/Location: Held 23-24 March 2023, Freiburg, Germany.
  • Series: ITG-Fachbericht 309
  • Editor: Biere, A.
  • ISBN: 9781713873655
  • Pages: 118 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: VDE Verlag Gmbh
  • POD Publisher: Curran Associates, Inc. ( Jul 2023 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: Methoden und Beschreibungssprahen zur Modellierung und Verifikation von Schaltungen und Systemen; 26. Workshop (MBMV 2023)
  • Date/Location: Held 23-24 March 2023, Freiburg, Germany.
  • Series: ITG-Fachbericht 309
  • Editor: Biere, A.
  • ISBN: 9781713873655
  • Pages: 118 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: VDE Verlag Gmbh
  • POD Publisher: Curran Associates, Inc. ( Jul 2023 )