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

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

Springer, B. · 1991

Gebunden

Details (Deutschland)

Details (USA)

Details (Großbritannien)

Details (Kanada)

Details (Frankreich)

Details (Italien)

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

ISBN-10: 3-540-97532-2

Siehe auch:
2009HardcoverVerification of Sequential and Concurrent Programs (Texts in Computer Science)
1997HardcoverVerification of Sequential and Concurrent Programs (Texts in Computer Science)