Cover Image

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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (ix, 580 pages) : illustrations
Bibliography:Includes bibliographical references.
ISBN:0387095268
9780387095264
3540095268
9783540095262