Home Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Part of the European Joint Confe by Christel Baier (Editor); Cesare Tinelli (Editor) (ISBN: 9783662466803)

Stock photo: cover may vary

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Part of the European Joint Confe Paperback - 2015

Name: Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint…
Price: 53.97 GBP
Availability: InStock
ISBN: 9783662466803

by Christel Baier (Editor); Cesare Tinelli (Editor)

Add to wish list

Browse more copies for sale ↓

Reader reviews for Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Part of the European Joint Confe

Write a review for this book

Important Terms and Guidelines

Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
Reviews must be at least 140 characters in length.
Please do not reveal critical plot elements.
This is not a help line. Contact customer support if you need help.

Your review must not include:

Obscenities, discriminatory language, or other insulting language not suitable for public domain
Advertisements, “spam” content, or references to other products, offers or websites.
Email addresses, URLs, phone numbers, physical addresses or other contact information.
Overly critical comments about other reviews or reviewers
Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
Availability, price, or alternative ordering/shipping information

From the publisher

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.

Details

Title Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Part of the European Joint Confe
Author Christel Baier (Editor); Cesare Tinelli (Editor)
Binding Paperback
Pages 725
Volumes 1
Language ENG
Publisher Springer
Publication date 2015-04-08
Illustrated Yes
Features Illustrated
ISBN 9783662466803 / 3662466805
Weight 2.26 lbs (1.03 kg)
Dimensions 9.21 x 6.14 x 1.48 in (23.39 x 15.60 x 3.76 cm)
Category Computers - Languages / Programming
Dewey Decimal Code 004.015

More Copies for Sale

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

New
Paperback

Condition: New
Binding: Paperback
ISBN 10 / ISBN 13: 9783662466803 / 3662466805
Quantity available: 858
Seller: Ria Christie Collections
Item price: A$104.21

A$15.43 Delivery to USA

Show details

Description:

Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Co

Add to wish list

Item price

A$104.21

A$15.43 Delivery to USA

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

by Christel Baier

New
Paperback

Condition: New
Binding: Paperback
ISBN 10 / ISBN 13: 9783662466803 / 3662466805
Quantity available: 10
Seller: The Saint Bookstore

Biblio Top Seller
Item price: A$112.20

A$19.21 Delivery to USA

Show details

Description:

Paperback / softback. New. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.

Add to wish list

Item price

A$112.20

A$19.21 Delivery to USA

Stock photo: cover may vary