MPG.eBooks - Search Results - formal languages and ((automata OR automated) or automatic) theory

Search alternatives:
languages » language

Cover Image

1

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

Published 1993

Springer Berlin Heidelberg

Table of Contents: “...Theory of domains and nearby -- Predicative programming — A survey -- A three-valued logic...”

Cover Image

2

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

Published 1996

Springer Berlin Heidelberg

Table of Contents: “...Semantics and laws of man-made infrastructure systems -- The language lola, FPGAs, and PLDs...”