Joakim Urdahl
Path Predicate Abstraction
for Sound System-Level Modeling of Digital Circuits
ISBN: 978-3-8440-4233-7
Preis: 45,80 € / 57,20 SFR