Knihobot

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

Parametry

  • 158 stránek
  • 6 hodin čtení

Nákup knihy

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

Jazyk
Rok vydání
2000
Jakmile se objeví, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit