Recomienda este artículo a tus amigos:
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions.
522 pages, 68 Illustrations, color; 78 Illustrations, black and white; XV, 522 p. 146 illus., 68 ill
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 3 de diciembre de 2021 |
| ISBN13 | 9783030921231 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 522 |
| Dimensiones | 150 × 220 × 10 mm · 819 g |
| Lengua | Alemán |
| Editor | Calinescu, Radu |
| Editor | Pasareanu, Corina S. |