Gupta, Aarti: SAT-Based Scalable Formal Verification Solutions

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
ISBN Malay Ganai 1441943412
Abmessungen / Gewicht
Hauptmerkmale
Malay Ganai