Recomienda este artículo a tus amigos:
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2020 edition
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings - Lecture Notes in Computer Science
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. They also represent the recent development in the use and development of formal engineering methods for software and system development.
335 pages, 48 Illustrations, color; 50 Illustrations, black and white; XI, 335 p. 98 illus., 48 illu
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 19 de diciembre de 2020 |
| ISBN13 | 9783030634056 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 335 |
| Dimensiones | 150 × 220 × 10 mm · 539 g |
| Lengua | Alemán |
| Editor | Hou, Zhe |
| Editor | Lin, Shang-Wei |
| Editor | Mahony, Brendan |