by: Krzysztof R. Apt · Ernst-Rüdiger Olderog
Springer · 1997
Hardcover
ISBN: 978-0-387-94896-6
ISBN-10: 0-387-94896-1
| See also: | ||
| 2009 | Hardcover | Verification of Sequential and Concurrent Programs (Texts in Computer Science) |
|
|
by: Krzysztof R. Apt · Ernst-Rüdiger OlderogSpringer · 1997 Hardcover ISBN: 978-0-387-94896-6 ISBN-10: 0-387-94896-1 |
