Theoretical Aspects of Computing - ICTAC 2005

Released on by Dang Van Hung
preview-18

  • Theoretical Aspects of Computing - ICTAC 2005 Book Detail

  • Author : Dang Van Hung
  • Release Date : 2005-10-04
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 628
  • ISBN 13 : 3540291075
  • File Size : 7,7 MB
DOWNLOAD BOOK

Theoretical Aspects of Computing - ICTAC 2005 by Dang Van Hung PDF Summary

Book Description: This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005. The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.

Disclaimer: www.yourbookbest.com does not own Theoretical Aspects of Computing - ICTAC 2005 books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.