Name: tools and algorithms for the construction and analysis of systems: 17th international conference, tacas 2011 held as part of the joint european confer
Price: 1045.00 ZAR
Availability: InStock
Author: Abdulla, Parosh Aziz ; Leino, K. Rustan M.
ISBN: 9783642198342

portada tools and algorithms for the construction and analysis of systems: 17th international conference, tacas 2011 held as part of the joint european confer

tools and algorithms for the construction and analysis of systems: 17th international conference, tacas 2011 held as part of the joint european confer

Type

Physical Book

Illustrated by

Parosh Aziz Abdulla

K. Rustan M. Leino

Publisher

Springer

Author

Abdulla, Parosh Aziz ; Leino, K. Rustan M.

Year

2011

Language

English

Pages

394

Format

Paperback

Dimensions

23.4 x 15.5 x 2.3 cm

Weight

0.61 kg.

ISBN

3642198341

ISBN13

9783642198342

Synopsis "tools and algorithms for the construction and analysis of systems: 17th international conference, tacas 2011 held as part of the joint european confer"

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26--April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

tools and algorithms for the construction and analysis of systems: 17th international conference, tacas 2011 held as part of the joint european confer - Abdulla, Parosh Aziz ; Leino, K. Rustan M.

Synopsis "tools and algorithms for the construction and analysis of systems: 17th international conference, tacas 2011 held as part of the joint european confer"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery