Bookbot

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

Parametre

  • 158 stránok
  • 6 hodin čítania

Nákup knihy

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

Jazyk
Rok vydania
2000
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť