1
מאת International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
יצא לאור 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”יצא לאור 2011.
קבל טקסט מלא
Livro
2
הוצא לאור ב Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”קבל טקסט מלא
Livro
3
הוצא לאור ב Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”קבל טקסט מלא
Livro
4
הוצא לאור ב Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place...”קבל טקסט מלא
Livro
5
הוצא לאור ב Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”קבל טקסט מלא
Livro
6
הוצא לאור ב Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place...”קבל טקסט מלא
Livro
7
הוצא לאור ב Lecture Notes in Computer Science
(2019)
“... of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis...”קבל טקסט מלא
Livro
8
הוצא לאור ב Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”קבל טקסט מלא
Livro
9
הוצא לאור ב Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during...”קבל טקסט מלא
Livro
10
הוצא לאור ב Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during...”קבל טקסט מלא
Livro
11
הוצא לאור ב Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”קבל טקסט מלא
Livro
12
הוצא לאור ב Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”קבל טקסט מלא
Livro
13
הוצא לאור ב Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”קבל טקסט מלא
Livro
14
הוצא לאור ב Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”קבל טקסט מלא
Livro
15
הוצא לאור ב Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”קבל טקסט מלא
Livro
16
הוצא לאור ב Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”קבל טקסט מלא
Livro
17
הוצא לאור ב Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”קבל טקסט מלא
Livro
18
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part...”
קבל טקסט מלא
קבל טקסט מלא
Livro
19
מאת International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Piterman, Nir, Smolka, Scott A.
יצא לאור 2013.
“... for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented...”יצא לאור 2013.
קבל טקסט מלא
Livro
20