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

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

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of

145 63 14MB Read more

Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [1 ed.] 364200721X, 9783642007217

This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, h

332 25 4MB 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

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

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

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

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings [1 ed.] 354033050X, 9783540330509

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annu

337 54 3MB 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

Compiler Construction: 8th International Conference, CC’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings [1 ed.] 3540657177, 9783540657170

ETAPS’99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual

329 9 5MB Read more