Broschiertes Buch
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
1st ed. 2017
31. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54579-9
| eBook, PDF | 40,95 € |
Broschiertes Buch
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
1st ed. 2017
31. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54576-8
| eBook, PDF | 40,95 € |
Broschiertes Buch
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
19. August 2014
Springer / Springer International Publishing / Springer, Berlin
86378920,978-3-319-10511-6
| eBook, PDF | 38,95 € |
Broschiertes Buch
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
19. August 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-40786-4
| eBook, PDF | 40,95 € |
Broschiertes Buch
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
1st ed. 2016
22. September 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-46519-7
| eBook, PDF | 40,95 € |
eBook, PDF
30. März 2017
Springer Berlin Heidelberg
eBook, PDF
30. März 2017
Springer Berlin Heidelberg
eBook, PDF
11. August 2014
Springer International Publishing
Broschiertes Buch
12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
24. Februar 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-76686-7
| eBook, PDF | 40,95 € |
Broschiertes Buch
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
31. Oktober 2013
Springer / Springer International Publishing / Springer, Berlin
86338202,978-3-319-03076-0
| eBook, PDF | 40,95 € |
eBook, PDF
2. Oktober 2019
Springer International Publishing
| Broschiertes Buch | 38,99 € |
Broschiertes Buch
26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
14. September 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-30922-0
eBook, PDF
17. August 2017
Springer International Publishing
| Broschiertes Buch | 39,99 € |
Ähnlichkeitssuche: Fact®Finder von OMIKRON
