Software engineering and formal methods : SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10 2021, revised selected papers / Antonio Cerone [and seven others] (eds.).

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	International Conference on Software Engineering and Formal Methods
Otros Autores:	Cerone, Antonio (Editor)
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer, [2022]
Colección:	Lecture notes in computer science ; 13230.
Materias:	Software engineering > Congresses. Formal methods (Computer science) > Congresses. Formal methods (Computer science) Software engineering Electronic books. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Acceso en línea:	Click for online access

Click for online access

Detalle de Existencias desde Online
	Disponible

Ejemplares similares