Broschiertes Buch
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, Part I
1st ed. 2020
18. April 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-45189-9
Broschiertes Buch
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4¿8, 2023, Proceedings
1st ed. 2024
2. Dezember 2023
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-49341-6
Broschiertes Buch
26th International Symposium, SAS 2019, Porto, Portugal, October 8¿11, 2019, Proceedings
1st ed. 2019
6. Oktober 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-32303-5
Broschiertes Buch
4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
2014
2. Oktober 2014
Springer / Springer International Publishing / Springer, Berlin
Broschiertes Buch
2012
9. November 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-44093-9
Gebundenes Buch | 59,99 € |
Broschiertes Buch
25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2¿7, 2022, Proceedings
1st ed. 2022
29. März 2022
ETAPS Society / Springer / Springer International Publishing / Springer, Berlin
978-3-030-99428-0
Broschiertes Buch
9th International Symposium, SETTA 2023, Nanjing, China, November 27¿29, 2023, Proceedings
1st ed. 2024
15. Dezember 2023
Springer / Springer Nature Singapore / Springer, Berlin
978-981-99-8663-7
Broschiertes Buch
First International Workshop, FMFun 2019, Bergen, Norway, December 2¿3, 2019, Revised Selected Papers
1st ed. 2021
11. März 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-71373-7
Broschiertes Buch
11th International Symposium, NFM 2019, Houston, TX, USA, May 7¿9, 2019, Proceedings
1st ed. 2019
28. Mai 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-20651-2
Broschiertes Buch
12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
1st ed. 2015
14. August 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-23266-9
Broschiertes Buch
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
1st ed. 2015
27. August 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-23533-2
Broschiertes Buch
Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
1st ed. 2017
18. Dezember 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-51045-3
Broschiertes Buch
24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 ¿ April 1, 2021, Proceedings
1st ed. 2021
20. März 2021
ETAPS Society / Springer / Springer International Publishing / Springer, Berlin
978-3-030-71499-4
Broschiertes Buch
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20¿30, 2020, Proceedings, Part IV
1st ed. 2021
5. August 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-83722-8
Broschiertes Buch
19th International Conference, RV 2019, Porto, Portugal, October 8¿11, 2019, Proceedings
1st ed. 2019
4. Oktober 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-32078-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON