Tools and Algorithms for the Construction and Analysis of Systems

Parosh Aziz Abdulla

Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2011
ISBN 10: 3642198341 / ISBN 13: 9783642198342
New / PAP / Quantity Available: 0
From Pbshop (Wood Dale, IL, U.S.A.)
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Bookseller Inventory # IB-9783642198342

About this title:

Synopsis: 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.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Tools and Algorithms for the Construction ...
Publisher: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG
Publication Date: 2011
Binding: PAP
Book Condition: New

Top Search Results from the AbeBooks Marketplace

1.

Parosh Aziz Abdulla (Editor), K. Rustan M. Leino (Editor)
Published by Springer (2011)
ISBN 10: 3642198341 ISBN 13: 9783642198342
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2011. Paperback. Condition: New. 2011. Seller Inventory # DADAX3642198341

More information about this seller | Contact this seller

Buy New
US$ 88.96
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

2.

Editor-Parosh Aziz Abdulla; Editor-K. Rustan M. Leino
Published by Springer (2011)
ISBN 10: 3642198341 ISBN 13: 9783642198342
Used Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2011. Paperback. Condition: Used: Good. Seller Inventory # SONG3642198341

More information about this seller | Contact this seller

Buy Used
US$ 88.98
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

3.

Parosh Aziz Abdulla (editor), K. Rustan M. Leino (editor)
Published by Springer Berlin Heidelberg 2011-03-18, Heidelberg (2011)
ISBN 10: 3642198341 ISBN 13: 9783642198342
New paperback Quantity Available: 10
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg 2011-03-18, Heidelberg, 2011. paperback. Condition: New. Seller Inventory # 9783642198342

More information about this seller | Contact this seller

Buy New
US$ 96.14
Convert currency

Add to Basket

Shipping: US$ 11.32
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Published by Springer 2011-03-18 (2011)
ISBN 10: 3642198341 ISBN 13: 9783642198342
New Quantity Available: 2
Seller:
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Springer 2011-03-18, 2011. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 4-5 working days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # NU-LBR-00901058

More information about this seller | Contact this seller

Buy New
US$ 96.51
Convert currency

Add to Basket

Shipping: US$ 37.78
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Published by Springer
ISBN 10: 3642198341 ISBN 13: 9783642198342
New Quantity Available: > 20
Seller:
Firehouse Liquidation
(Vancouver, WA, U.S.A.)
Rating
[?]

Book Description Springer. Condition: New. Brand New! Ships next business day! Choose expedited shipping for delivery in 2-6 business days!. Seller Inventory # NEW-9783642198342

More information about this seller | Contact this seller

Buy New
US$ 101.17
Convert currency

Add to Basket

Shipping: US$ 3.25
Within U.S.A.
Destination, rates & speeds

6.

Abdulla, Parosh Aziz
Published by Springer (2011)
ISBN 10: 3642198341 ISBN 13: 9783642198342
New Quantity Available: > 20
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2011. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # IB-9783642198342

More information about this seller | Contact this seller

Buy New
US$ 101.76
Convert currency

Add to Basket

Shipping: US$ 11.33
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Published by Springer (2011)
ISBN 10: 3642198341 ISBN 13: 9783642198342
New Softcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2011. Condition: New. Seller Inventory # L9783642198342

More information about this seller | Contact this seller

Buy New
US$ 104.80
Convert currency

Add to Basket

Shipping: US$ 4.29
From Germany to U.S.A.
Destination, rates & speeds

8.

Parosh Aziz Abdulla
Published by Springer-Verlag Gmbh Mrz 2011 (2011)
ISBN 10: 3642198341 ISBN 13: 9783642198342
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Mrz 2011, 2011. Taschenbuch. Condition: Neu. Neuware - 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. 394 pp. Englisch. Seller Inventory # 9783642198342

More information about this seller | Contact this seller

Buy New
US$ 104.80
Convert currency

Add to Basket

Shipping: US$ 19.37
From Germany to U.S.A.
Destination, rates & speeds

9.

Parosh Aziz Abdulla
Published by Springer-Verlag Gmbh Mrz 2011 (2011)
ISBN 10: 3642198341 ISBN 13: 9783642198342
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Mrz 2011, 2011. Taschenbuch. Condition: Neu. Neuware - 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. 394 pp. Englisch. Seller Inventory # 9783642198342

More information about this seller | Contact this seller

Buy New
US$ 104.80
Convert currency

Add to Basket

Shipping: US$ 19.37
From Germany to U.S.A.
Destination, rates & speeds

10.

Abdulla, Parosh Aziz
ISBN 10: 3642198341 ISBN 13: 9783642198342
New Quantity Available: > 20
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 2011. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # IB-9783642198342

More information about this seller | Contact this seller

Buy New
US$ 101.78
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

There are 10 more copies of this book

View all search results for this book