Mathematical theory of computation

Manna, Zohar

dc.creator	Manna, Zohar
dc.date.accessioned	2020-05-27T16:03:11Z
dc.date.available	2020-05-27T16:03:11Z
dc.date.issued	1974
dc.identifier.uri	http://hdl.handle.net/123456789/10075
dc.description.abstract	Chapter 1: Computability -- Chapter 2: Predicate calculus -- Chapter 3: Verification of programs -- Chapter 4: Flowchart schemas -- Chapter 5: The fixpoint theory of programs.	es
dc.language.iso	en	es
dc.publisher	McGraw-Hill	es
dc.title	Mathematical theory of computation	es
uade.subject.descriptor	Programas de Computadora	es
uade.subject.descriptor	Matemáticas	es
uade.subject.descriptor	Computación	es
uade.subject.descriptor	Informática	es
uade.identifier.isbn	0070399107	es
academic.materia.codigo	3.4.095	es
academic.materia.nombre	Teoría de la Computación	es