ISBNs beginnend mit 978-3-86853-xxx-xAmir Hassine × Ein Ansatz zur formalen Beschreibung und Simulation von Chipdesignprozessen Amir HassineDr. HutSoftcover2009