Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)
von
Krzysztof R. Apt
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-57479-8
ISBN-10: 3-540-57479-4
Springer
· 2013
