MPG.eBooks - Author Search Results

Cover Image

1

Architecture of Distributed Computer Systems

by Bochmann, Gregor
Published 1979

Springer

Cover Image

2

Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

by Bochmann, Gregor
Published 1993

Springer

Cover Image

3

Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Bochmann, Gregor von...”

Cover Image

4

Formal Description Techniques VIII

Published 1996

Springer US

Other Authors: “...von Bochmann, Gregor...”

Cover Image

5

Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 200...

Published 2000

Springer US

Other Authors: “...von Bochmann, Gregor...”