Theoretical Aspects of Computing - ICTAC 2004

Released on by Zhiming Liu
preview-18

  • Theoretical Aspects of Computing - ICTAC 2004 Book Detail

  • Author : Zhiming Liu
  • Release Date : 2005-03-08
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 574
  • ISBN 13 : 3540253041
  • File Size : 85,85 MB
DOWNLOAD BOOK

Theoretical Aspects of Computing - ICTAC 2004 by Zhiming Liu PDF Summary

Book Description: This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics.

Disclaimer: www.yourbookbest.com does not own Theoretical Aspects of Computing - ICTAC 2004 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.