Broschiertes Buch
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
2014
20. August 2014
Springer / Springer International Publishing / Springer, Berlin
86379531,978-3-319-10701-1
Broschiertes Buch
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
2014
23. September 2014
Springer / Springer International Publishing / Springer, Berlin
86382188,978-3-319-11736-2
Broschiertes Buch
2010
20. Oktober 2014
Springer / Springer, Berlin
978-1-4471-5745-8
Broschiertes Buch
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
2015
27. Januar 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-15074-1
Broschiertes Buch
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
2015
19. Mai 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-18940-6
Broschiertes Buch
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
2015
27. Mai 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-19457-8
Broschiertes Buch
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
1st ed. 2016
3. Februar 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-29472-8
Broschiertes Buch
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
1st ed. 2016
12. Juni 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-34095-1
Broschiertes Buch
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
1st ed. 2016
15. Oktober 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47845-6
Broschiertes Buch
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
1st ed. 2016
13. November 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-49814-0
Broschiertes Buch
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part III
1st ed. 2022
20. Oktober 2022
Author Funded / Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-19758-1
Broschiertes Buch
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part I
1st ed. 2022
20. Oktober 2022
Author Funded / Springer / Springer International Publishing / Springer, Berlin
978-3-031-19848-9
Broschiertes Buch
13th International Symposium, NFM 2021, Virtual Event, May 24¿28, 2021, Proceedings
1st ed. 2021
17. Mai 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-76383-1
Broschiertes Buch
A Report from the BCS Working Group
Softcover reprint of the original 1st ed. 1990
30. Juli 1990
Springer / Springer London / Springer, Berlin
978-3-540-19577-1
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
Ähnlichkeitssuche: Fact®Finder von OMIKRON