Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Science and General Issues Book 10805) [PDF ed.] 9783319899602, 9783319899596

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou [1 ed.] 9783642007675, 3642007678

This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Cons

214 41 7MB Read more

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424) 3540712089, 9783540712084

100 97 15MB Read more

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2619) 3540008985, 9783540008989

ETAPS 2003 was the sixth instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annu

101 71 7MB Read more

Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Computer Science and General Issues) 3030452336, 9783030452339

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Soft

108 103 14MB Read more

Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 1784) 9783540672579, 3540672575

ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated

115 63 8MB Read more

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I 9783031308239, 9783031308222, 3031308239

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the C

137 24 67MB Read more

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings [1 ed.] 354021299X, 9783540212997, 9783540247302

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction a

264 74 12MB Read more

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020, Proceedings [2] 3030452360, 9783030452360

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms

102 34 Read more

Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference ... (Lecture Notes in Computer Science, 2620) 3540008977, 9783540008972

This book constitutes the refereed proceedings of the 6th International Conference on Foundations of Software Science an

114 108 12MB Read more

Genetic Programming: 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings (Theoretical Computer Science and General Issues) 3030728110, 9783030728113

This book constitutes the refereed proceedings of the 24th European Conference on Genetic Programming, EuroGP 2021, held

124 110 24MB Read more