Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Sequential

by: Krzysztof R. Apt · Ernst-Rüdiger Olderog

Hardcover

ISBN: 978-0-387-94896-6

ISBN-10: 0-387-94896-1

Springer · 1997

See also:
2009HardcoverVerification of Sequential and Concurrent Programs (Texts in Computer Science)