Verification of Sequential and Concurrent Programs

Name: Verification of Sequential and Concurrent Programs
Brand: Springer
SKU: 9781475727159
Rating: 4 (5 reviews)
ISBN: 9781475727159

Verification of Sequential and Concurrent Programs image

ISBN-10:

1475727151

ISBN-13:

9781475727159

Author(s): Apt, Krzysztof R.; Olderog, Ernst-Rüdiger

Released: Dec 05, 2012

Publisher: Springer

Format: Paperback, 388 pages

to view more data

Sell this Book

Buy this Book

Find in Library

Description:

Book details unavailable.

‌

We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.