Tools and Algorithms for the Construction and Analysis of Systems
Author:   Holger Hermanns ,  Jens Palsberg
Publisher:   Springer
ISBN:  

9783540821854


Pages:   528
Publication Date:   26 August 2008
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Tools and Algorithms for the Construction and Analysis of Systems


Overview

This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS. The 30 revised full research papers and four revised tool demonstration papers presented together with one invited paper were carefully reviewed and selected from a total of 118 submissions. The papers are organized in topical sections.

Full Product Details

Author:   Holger Hermanns ,  Jens Palsberg
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 2.70cm , Length: 15.60cm
Weight:   0.730kg
ISBN:  

9783540821854


ISBN 10:   3540821856
Pages:   528
Publication Date:   26 August 2008
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now