Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger OlderogКатегорії:
Рік:
1997
Видання:
2nd
Видавництво:
Springer
Мова:
english
Сторінки:
370
ISBN 10:
147572716X
ISBN 13:
9781475727166
Серії:
Graduate Texts in Computer Science
Файл:
PDF, 9.05 MB
IPFS:
,
english, 1997