Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Tools and Algorithms for the Construction and Analysis of Systems - 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings (Paperback, 2004 ed.)
Loot Price: R3,075
Discovery Miles 30 750
|
|
Tools and Algorithms for the Construction and Analysis of Systems - 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings (Paperback, 2004 ed.)
Series: Lecture Notes in Computer Science, 2988
Expected to ship within 10 - 15 working days
|
This volume contains the proceedings of the 10th International
Conference on Tools and Algorithms for the Construction and
Analysis of Systems (TACAS 2004). TACAS 2004 took place in
Barcelona, Spain, from March 29th to April 2nd, as part of the 7th
European Joint Conferences on Theory and Practice of Software
(ETAPS 2004), whose aims, organization, and history are detailed in
a foreword by the ETAPS Steering Committee Chair, Jos e Luiz
Fiadeiro. TACAS is a forum for researchers, developers, and users
interested in ri- rously based tools for the construction and
analysis of systems. The conference serves to bridge the gaps
between di?erent communities including, but not - mited to, those
devoted to formal methods, software and hardware veri?cation,
static analysis, programming languages, software engineering,
real-time systems, and communication protocols that share common
interests in, and techniques for, tool development. In particular,
by providing a venue for the discussion of common problems,
heuristics, algorithms, data structures, and methodologies, TACAS
aims to support researchers in their quest to improve the utility,
rel- bility, ?exibility, and e?ciency of tools for building
systems.
TACASseekstheoreticalpaperswithaclearlinktotoolconstruction, papers
describingrelevantalgorithmsandpracticalaspectsoftheirimplementation,
- pers giving descriptions of tools and associated methodologies,
and case studies with a conceptual message."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|