Broschiertes Buch
A Handbook for Software Engineers
2. Januar 2024
Self
Broschiertes Buch
24th International Symposium, FM 2021, Virtual Event, November 20¿26, 2021, Proceedings
1st ed. 2021
10. November 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-90869-0
Gebundenes Buch
Languages, Methods, Application Domains
1st ed. 2022
23. Juni 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-38799-0
Broschiertes Buch | 41,99 € |
Broschiertes Buch
Languages, Methods, Application Domains
1st ed. 2022
24. Juni 2023
Springer / Springer International Publishing / Springer, Berlin
978-3-030-38802-7
Broschiertes Buch
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1¿7, 2021, Tutorial Lectures
1st ed. 2023
5. November 2023
Springer / Springer International Publishing / Springer, Berlin
978-3-031-43677-2
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
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
26th International Conference, FMICS 2021, Paris, France, August 24¿26, 2021, Proceedings
1st ed. 2021
10. August 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-85247-4
Broschiertes Buch
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
1st ed. 2021
28. September 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-87347-9
Gebundenes Buch
Vol II: Theory Revision, Inheritance, and Various Abstract Properties
1st ed. 2018
14. November 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-89649-6
Gebundenes Buch
Vol I: Preference and Size
1st ed. 2018
14. November 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-89652-6
Broschiertes Buch
Porto, Portugal, October 7¿11, 2019, Revised Selected Papers, Part II
1st ed. 2020
11. August 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-54996-1
Broschiertes Buch
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25¿27, 2020, Proceedings
1st ed. 2020
20. November 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-63881-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
Ähnlichkeitssuche: Fact®Finder von OMIKRON