Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)

More Information

Format: Paperback
Pages: 272
Edition: 1994
Publisher: Springer
Published: 04 Oct 2013
ISBN 10: 3540574794
ISBN 13: 9783540574798