MPG.eBooks - Search Results - "Language"

Cover Image

1

Software Pioneers : Contributions to Software Engineering

Published 2002

Springer Berlin Heidelberg

Subjects: “...Programming Languages, Compilers, Interpreters...”

Cover Image

2

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement

by Broy, Manfred, Stølen, Ketil
Published 2001

Springer New York

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

3

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Published 1996

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

4

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: “...Formal Languages and Automata Theory...”

Cover Image

5

Mathematical Methods in Program Development

Published 1997

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

6

Informatik : Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

by Broy, Manfred
Published 1995

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

7

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

Published 1993

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

8

Informatik und Mathematik

Published 1991

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”