Normale Ansicht MARC ISBD

Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger

Verification of Sequential and Concurrent Programs Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger Apt - 3. ed. - Dordrecht; Heidelberg; London; New York Springer 2009 - 502 S.

ISBN: 9781848827448 74,85 €

Subjects--Index Terms: Sequential