Suchergebnisse für "Apt, Krzysztof R/Olderog, Ernst-Rüdiger"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Apt, Krzysztof R/Olderog, Ernst-Rüdiger" gefunden.
Katalogsuche
Verification of Sequential and Concurrent Programs
Texts in Computer Science
Apt, Krzysztof R/de Boer, Frank S/Olderog, Ernst-Rüdiger
Springer Verlag GmbH
85,59 €
(inklusive MwSt.)
Lieferbar
Verification of Sequential and Concurrent Programs
Texts in Computer Science
Apt, Krzysztof R/de Boer, Frank S/Olderog, Ernst-Rüdiger
Springer Verlag GmbH
106,99 €
(inklusive MwSt.)
Lieferbar
Programmverifikation
Sequentielle, parallele und verteilte Programme, Springer-Lehrbuch
Apt, Krzysztof R/Olderog, Ernst-Rüdiger
Springer Verlag GmbH
29,95 €
(inklusive MwSt.)
Lieferbar
