Items related to Tools and Algorithms for the Construction and Analysis...
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... Computer Science and General Issues) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2015
- ISBN 10 3662466805
- ISBN 13 9783662466803
- BindingPaperback
- LanguageEnglish
- Number of pages743
- EditorBaier Christel, Tinelli Cesare
Search results for Tools and Algorithms for the Construction and Analysis...
Seller Image
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, Tacas 2015
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 23311200-n
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... Computer Science and General Issues)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020314771
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783662466803_new
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783662466803
Quantity: 10 available
Seller Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Springer Berlin Heidelberg Apr 2015, 2015
ISBN 10: 3662466805
ISBN 13: 9783662466803
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 744 pp. Englisch. Seller Inventory # 9783662466803
Quantity: 2 available
Seller Image
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, Tacas 2015
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 23311200-n
Quantity: Over 20 available
Seller Image
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
Published by
Springer Berlin Heidelberg, 2015
ISBN 10: 3662466805
ISBN 13: 9783662466803
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783662466803
Quantity: 1 available
Seller Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Springer Berlin Heidelberg, 2015
ISBN 10: 3662466805
ISBN 13: 9783662466803
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 a. Seller Inventory # 23280733
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015
Published by
Springer-Verlag New York Inc, 2015
ISBN 10: 3662466805
ISBN 13: 9783662466803
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2015 edition. 744 pages. 9.00x6.00x1.50 inches. In Stock. Seller Inventory # x-3662466805
Quantity: 2 available
Seller Image
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, Tacas 2015
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 23311200
Quantity: Over 20 available