Vista normal
Vista MARC
- Olderog, Ernst-Rüdiger.
Olderog, Ernst-Rüdiger. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)290935: Apt, Krzysztof R. autor 321956, Verification of Sequential and Concurrent Programs /