Tools and Algorithms for the Construction and Analysis of Systems | 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Orna Grumberg (u. a.)

ISBN 10: 3540712089 / ISBN 13: 9783540712084

Published by Springer, 2007

About this Item

Tools and Algorithms for the Construction and Analysis of Systems | 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings | Orna Grumberg (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540712084 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Seller Inventory # 102066167

Bibliographic Details

• Title: Tools and Algorithms for the Construction and Analysis of Systems | 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
• Publisher: Springer
• Publication Date: 2007
• Language: English
• ISBN 10: 3540712089
• ISBN 13: 9783540712084
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 40W x 155H x 235D millimeters 40 millimeters width by 155 millimeters height by 235 millimeters depth
• Weight: 1052 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.