Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=TINELLI, Cesare
cover
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
Comment Share
BAIER, ChristelTINELLI, Cesare

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…

Edition
-
ISBN/ISSN
978-3-662-46681-0
Collation
-
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems
Comment Share
BAIER, ChristelTINELLI, Cesare

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…

Edition
-
ISBN/ISSN
978-3-662-46681-0
Collation
210 b/w illustrations
Series Title
-
Call Number
-