22nd Annual IEEE Symposium on Logic in Computer Science proceedings : Wrocaw, Poland, 10-14 July, 2007 / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Saved in:
Bibliographic Details
Corporate Authors: Symposium on Logic in Computer Science Wrocaw, Poland, IEEE Computer Society, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Format: eBook
Language:English
Published: Los Alamitos, Calif. : IEEE Computer Society, c2007.
Subjects:
Electronic data processing > Congresses.
Computer programming > Congresses.
Computer science > Mathematics > Congresses.
Computer programs > Correctness > Congresses.
Logic, Symbolic and mathematical > Congresses.
Online Access:http://ieeexplore.ieee.org/servlet/opac?punumber=4276538
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items