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

Sequential

von: Krzysztof R. Apt · Ernst-Rüdiger Olderog

Gebunden

ISBN-13: 978-3-540-97532-8

ISBN-10: 3-540-97532-2

Springer, B. · 1991
Siehe auch:
2010HardcoverVerification of Sequential and Concurrent Programs (Texts in Computer Science)
1997HardcoverVerification of Sequential and Concurrent Programs (Texts in Computer Science)
1991HardcoverVerification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)