eBook, PDF
11. Mai 2015
Springer / Springer International Publishing
Broschiertes Buch | 36,99 € |
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
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
1st ed. 2018
12. Juli 2018
Fondazione Bruno Kessler / Springer / Springer International Publishing / Springer, Berlin
978-3-319-95581-0
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
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
1st ed. 2018
30. August 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-00243-5
Broschiertes Buch
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
1st ed. 2018
11. Oktober 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-02449-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON