Gratisversand in ganz Deutschland!
Bookbot

Symbolic methods applied to formal verification and synthesis in embedded systems design

Autor*innen

Parameter

  • 158 Seiten
  • 6 Lesestunden

Buchkauf

Symbolic methods applied to formal verification and synthesis in embedded systems design, Karsten Strehl

Sprache
Erscheinungsdatum
2000
Wir benachrichtigen dich per E-Mail.

Lieferung

  • Gratis Versand in ganz Deutschland!

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben