Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, ... 11392

Revisa las propuestas más recientes sobre lenguajes formales orientados a objetos, con énfasis en la verificación de software y el modelado estructurado presentados en el octavo taller SOFL+MSVL 2018.

Marca: Zhenhua Duan
ISBN: 3030136507
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES
Edición Febrero de 2019
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783030136505