Theoretical Aspects of Computing - ICTAC 2004

Theoretical Aspects of Computing - ICTAC 2004
Author :
Publisher : Springer Science & Business Media
Total Pages : 574
Release :
ISBN-10 : 9783540253044
ISBN-13 : 3540253041
Rating : 4/5 (44 Downloads)

Book Synopsis Theoretical Aspects of Computing - ICTAC 2004 by : Zhiming Liu

Download or read book Theoretical Aspects of Computing - ICTAC 2004 written by Zhiming Liu and published by Springer Science & Business Media. This book was released on 2005-03-08 with total page 574 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Theoretical Aspects of Computing - ICTAC 2004 Related Books

Theoretical Aspects of Computing - ICTAC 2004
Language: en
Pages: 574
Authors: Zhiming Liu
Categories: Computers
Type: BOOK - Published: 2005-03-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revi
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 740
Authors: Orna Grumberg
Categories: Computers
Type: BOOK - Published: 2007-07-05 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS
Fundamentals of Computation Theory
Language: en
Pages: 454
Authors: Horst Reichel
Categories: Computers
Type: BOOK - Published: 1995-08-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995.
Duration Calculus
Language: en
Pages: 253
Authors: Chaochen Zhou
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) repres
Modeling Time in Computing
Language: en
Pages: 430
Authors: Carlo A. Furia
Categories: Computers
Type: BOOK - Published: 2012-10-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the