Número de Cutter-SanbornC154sEntrada «Calin» → 154 · marca de obra “s”

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
ISBN: 9783030921231

19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

Autor	Radu Calinescu, Corina S. Păsăreanu
Editorial	Springer International Publishing AG
Fecha de publicación	2022
Idioma	inglés
ISBN-13	9783030921231
Número de Cutter	`C154s`

Software Engineering and Formal Methods (2022) — ISBN 9783030921231 | Cutter Number