![]() |
by: Krzysztof R. Apt · Ernst-Rüdiger OlderogHardcover details (USA). details (UK). details (Germany). details (Canada). ISBN: 978-0-387-94896-6 ISBN-10: 0-387-94896-1 Springer · 1997 |
See also: | ||
2009 | Hardcover | Verification of Sequential and Concurrent Programs (Texts in Computer Science) |