Sebastian Biallas
Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
ISBN: 978-3-8440-4711-0
Preis: 48,80 € / 61,10 SFR