Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

by Radu Calinescu, Corina S. Păsăreanu Paperback 2021

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Radu Calinescu, Corina S. Păsăreanu
  • ISBN 13: 9783030921231
  • ISBN 10: 3030921239
  • Publication Year: 2021
  • Language: English

Specifications

Index-103030921239
LanguageEnglish
Index-139783030921231
Period-
Class Track-
Publisher- (2021)
Pages-

✨ Readers also enjoyed...

View All →
Foundations of Computer Software : Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, Mar

Foundations of Computer Software :…

Radu Calinescu, Ethan Jackson

Inquire
Large-Scale Complex IT Systems. Development, Operation and Management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected P

Large-Scale Complex IT Systems. De…

Radu Calinescu, David Garlan

Inquire
Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering and Formal Me…

Radu Calinescu, Melissa Bigner

Inquire
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised

Software Engineering and Formal Me…

Domenico Bianculli, Radu Calinescu, Melissa Bigner

Inquire
Software Engineering for Resilient Systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Software Engineering for Resilient…

Radu Calinescu, Felicita Di Giandomenico

Inquire