by H. Barringer
Paperback
ISBN: 978-0-387-15239-4
ISBN-10: 0-387-15239-3
Springer Verlag · 1985
|
|
by H. BarringerPaperback
ISBN: 978-0-387-15239-4 ISBN-10: 0-387-15239-3 Springer Verlag · 1985 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, Band 191) |