Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers - Lecture Notes in Computer Science -  - Libros - Springer Nature Switzerland AG - 9783030575052 - 10 de septiembre de 2020
En caso de que portada y título no coincidan, el título será el correcto

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2020 edition

Precio
$ 76,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops: CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;


277 pages, 28 Illustrations, color; 202 Illustrations, black and white; X, 277 p. 230 illus., 28 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 10 de septiembre de 2020
ISBN13 9783030575052
Editores Springer Nature Switzerland AG
Páginas 277
Dimensiones 150 × 220 × 10 mm   ·   454 g
Lengua Alemán  
Editor Camara, Javier
Editor Steffen, Martin

Mere med samme udgiver