10 libri per 10 euro qui
Bookbot

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

Parametri

  • 158pagine
  • 6 ore di lettura

Acquisto del libro

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

Lingua
Pubblicato
2000
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento