Logic and Program Semantics [Recurso electrónico] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva.

By: Constable, Robert L
Contributor(s): Silva, Alexandra
Material type: TextText; Format: electronic Series: Lecture Notes in Computer Science ; 7230Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012ISBN: 9783642294853Subject(s): Computer science | Software engineering | Computer software | Logic design | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Algorithm Analysis and Problem Complexity | Software Engineering | Programming Languages, Compilers, Interpreters | Programming TechniquesAdditional physical formats: Printed edition:: No titleOnline resources: Texto completo
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
No physical items for this record

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

There are no comments for this item.

to post a comment.

Powered by Koha