Normale Ansicht MARC ISBD

Verification of Sequential and Concurrent Programs

von Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger Editionsangabe:3. ed. Erschienen bei: Springer (Dordrecht; Heidelberg; London; New York) Physische Details: 502 S. ISBN:9781848827448.
Schlagwort(e): Sequential
Jahr: 2009
Tags dieser Bibliothek: Es gibt keine Tags für diesen Titel. Einloggen, um Tags hinzuzufügen
    Durchschnittliche Bewertung: 0.0 (0 Bewertungen)

Powered by Koha