MPG.eBooks - Search Results - "machine"

Cover Image

1

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1989

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

2

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

3

Informatik und Mathematik

Published 1991

Springer Berlin Heidelberg

Subjects: “...Machine theory...”