Tools and Algorithms for the Construction and Analysis of Systems
Author:   Cormac Flanagan ,  Barbara Konig
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   2012
Volume:   7214
ISBN:  

9783642287558


Pages:   579
Publication Date:   14 March 2012
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $186.30 Quantity:  
Add to Cart

Share |

Tools and Algorithms for the Construction and Analysis of Systems


Add your own review!

Overview

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.

Full Product Details

Author:   Cormac Flanagan ,  Barbara Konig
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2012
Volume:   7214
Dimensions:   Width: 15.50cm , Height: 3.30cm , Length: 23.50cm
Weight:   0.884kg
ISBN:  

9783642287558


ISBN 10:   3642287557
Pages:   579
Publication Date:   14 March 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now