Verification of Sequential and Concurrent Programs

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

Hardcover: 502 pages

Publisher: Springer (September 30, 2010)

Language: English

ISBN-10: 184882744X