Showing 1 - 2 of 2 Results
1.
Automatic Verification of Sequential Infinite-State Processes by Burkart, O. ISBN: 9783540639824 List Price: $52.95
2.
Die Herzstation : Diagnostik, �berwachung, Therapie, Rehabilitation, Organisation by Bertel, O., Burkart, F., Fo... ISBN: 9783540116141 List Price: $69.95