Software Engineering and Formal Methods
1397618
|
Bernhard Rumpe
Domenico Bianculli
Radu Calinescu
|
9783662492246 |
2015 |
Contains images
|
|
Software Engineering and Formal Methods
1404869
|
Bernhard Rumpe
Radu Calinescu
|
9783319229690 |
2015 |
Contains images
|
|
Software Engineering and Formal Methods
1410977
|
Rocco De Nicola
Eva Kühn
|
9783319415918 |
2016 |
Contains images
|
|
Software Engineering and Formal Methods
1415891
|
Steve Counsell
Manuel Núñez
|
9783319050324 |
2014 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12524)
3779374
|
Mieke Massink
Loek Cleophas
|
9783030672201 |
2021 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13230)
4965632
|
Antonio Cerone
Pierluigi Graziani
Marco Temperini
Gentiane Venture
Marco Autili
Alessio Bucaioni
Cláudio Gomes
Maurizio Palmieri
|
9783031124297 |
2022 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13765)
5179842
|
Pierluigi Graziani
Paolo Masci
Maurizio Palmieri
Cinzia Bernardeschi
Mario Koddenbrock
|
9783031262364 |
2023 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14568)
6159732
|
Alessandro Aldini
|
9783031660214 |
2024 |
Contains images
|
|
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Lecture Notes in Computer Science #10469)
2115887
|
Marjan Sirjani
Alessandro Cimatti
|
9783319661971 |
2017 |
Contains images
|
|
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science #10886)
2118186
|
Einar Broch Johnsen
Ina Schaefer
|
9783319929705 |
2018 |
Contains images
|
|
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings (Lecture Notes in Computer Science #11724)
2957504
|
Peter Csaba Ölveczky
Gwen Salaün
|
9783030304461 |
2019 |
Contains images
|
|
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings (Lecture Notes in Computer Science #12310)
3637419
|
Antonio Cerone
Frank De Boer
|
9783030587680 |
2020 |
Contains images
|
|
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13085)
4379665
|
Radu Calinescu
Corina S. Păsăreanu
|
9783030921248 |
2021 |
Contains images
|
|
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science #13550)
5934140
|
Bernd-Holger Schlingloff
Ming Chai
|
9783031171086 |
2022 |
Contains images
|
|
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science #14323)
5730285
|
Carla Ferreira
Tim A. C. Willemse
|
9783031471155 |
2023 |
Contains images
|
|
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science #15280)
6351888
|
Alexander Knapp
Alexandre Madeira
|
9783031773822 |
2025 |
Contains images
|
|
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (Lecture Notes in Computer Science #12226)
3633269
|
Javier Camara
Martin Steffen
|
9783030575069 |
2020 |
Contains images
|
|
Software Engineering and Management: Volume 16 (Studies in Computational Intelligence #1137)
6048652
|
Roger Lee
|
9783031551741 |
2024 |
Contains images
|
|
Software Engineering and Management: Volume 17 (Studies in Computational Intelligence #1193)
6532993
|
Roger Lee
|
9783031826108 |
2025 |
Contains images
|
|
Software Engineering and Methodology for Emerging Domains
1537655
|
Lu Zhang
Chang Xu
|
9789811034824 |
2016 |
Contains images
|
|
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers (Communications in Computer and Information Science #861)
2837722
|
Ming Li
Zheng Li
Minghui Zhou
He Jiang
Ge Li
|
9789811503108 |
2019 |
Contains images
|
|
Software Engineering at Google: Lessons Learned from Programming Over Time
6423882
|
Titus Winters
Tom Manshreck
Hyrum Wright
|
9781492082743 |
2020 |
Contains images
|
|
Software Engineering for Absolute Beginners: Your Guide to Creating Software Products
3836120
|
Nico Loubser
|
9781484266229 |
2021 |
Contains images
|
|
Software Engineering for Data Scientists: From Notebooks to Scalable Systems
6424371
|
Catherine Nelson
|
9781098136161 |
2024 |
Contains images
|
|
Software Engineering for Image Processing Systems
3370684
|
Philip A. Laplante
|
9781135510732 |
2004 |
Contains images
|
|