Scalable Bit-precise Formal Verification of Embedded Software

45.90 EUR

Marke: Nannan He
ISBN: 9783659936548
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen