Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 /

Bibliographic Details
Corporate Authors:	Symposium on Mathematical Foundations of Computer Science (1972- ) Olomouc, Czech Republic), SpringerLink (Online service)
Other Authors:	Bečvář, J., 1926-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1979.
Series:	Lecture notes in computer science ; 74.
Subjects:	Computer programming > Congresses. Computer algorithms > Congresses. Computable functions > Congresses. Machine theory > Congresses. informatique théorique. vérification programme. logique. correction programme. Algorithmes > Congrès. Programmation (Informatique) > Congrès. Fonctions calculables > Congrès. Automates mathématiques, Théorie des > Congrès. Computable functions. Computer algorithms. Computer programming. Machine theory. Fundamentele informatica. Computable functions > Congresses Computer algorithms > Congresses Electronic digital computers > Programming > Congresses Machine theory > Congresses Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage