Verification of Sequential and Concurrent Programs
Subtitle: Texts in Computer Science, Third Edition
Publisher: Springer; Brand: Springer
Published: Mar 04, 2012
Format: paperback
Number of pages: 528
ISBN-13: 9781447125136
Notes: Source title: Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition