Marc-запись: Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday / Robert L. Constable, Alexandra Silva (eds.).

Summary goes here

Сохранить в:

Библиографические подробности
Формат:	‌
Язык:	английский
Предметы:	Algorithmus. Kleene-Algebra. Koalgebra. Komplexitätstheorie. Mathematische Logik. Mathematische Methode. Programmanalyse. Programmierlogik. Programmiersprache. Computer logic. Computer programming. Software engineering.
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

era
format	Book
genre
geographic
id	a5b6d339-fa02-420d-bb17-084de324bb02
isbn	9783642294846 (pbk.)
issn
language	eng
physical	xiii, 355 pages :illustrations ;24 cm
publication	– publisher: Springer dateOfPublication: 2012
publishDate	2012
subjects
title	Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday / Robert L. Constable, Alexandra Silva (eds.).
topic	Algorithmus. Kleene-Algebra. Koalgebra. Komplexitätstheorie. Mathematische Logik. Mathematische Methode. Programmanalyse. Programmierlogik. Programmiersprache. Computer logic. Computer programming. Software engineering.