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

  •  

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben