This specific ISBN edition is currently not available.
Invited Paper.- Theoretical Foundations.- Reasoning about Computations and Programs.- Applications and Tools.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
ISBN 10: 3030021483 ISBN 13: 9783030021481 Publisher: Springer, 2018 Softcover
You will be charged in {0}.
You will be shown prices in {0} as a reference only. Your orders will process in {1}.
Learn more about currency preferences.