von Howard BarringerTaschenbuch
Details (Spanien - España) ISBN-13: 978-3-540-15239-2 ISBN-10: 3-540-15239-3 Springer · 2008 |
Siehe auch (möglicherweise von anderen Autoren): | ||
1985 | Paperback | A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science) |