Author: Jean Gallier
Edition:
Binding: Hardcover
ISBN: 0060422254
Publisher: Longman Higher Education
Edition:
Binding: Hardcover
ISBN: 0060422254
Publisher: Longman Higher Education
Mathematical Logic for Computer Science
Logic for Computer Science
8th International Workshop on Deontic Logic in Computer Science, Deon 2006, Utrecht, the Netherlands, July 12-14, 2006, Proceedings | Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg | 2006 | 288 pages | ISBN-13: 9783540358428 | ISBN-10: 3540358420 | You save 25%
Download free Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series) from rapidshare, mediafire, 4shared
Search and find a lot of computer books in many category availabe for free download
