1/1

Formal Methods for Industrial Critical Systems

Autor/Editor: Howar, Falk - Barnat, JiÅ™Ã

Año de edición: 2018

Acceso: UBA

URL: http://doi.org/10.1007/978-3-030-00244-2

Idioma: inglés

Colección: Computación

Keywords: Computer Science - Programming Languages - Compilers - Interpreters - Software Engineering - Theory of Computation - The Computing Profession - Computer Systems Organization and Communication Ne

Título de la Serie: Lecture Notes in Computer Science

Tipo de documento: Reunión

Edición: 1st ed.

Editor: Springer International Publishing

ISBN-e: 978-3-030-00244-2

ISSN-e: 1611-3349

Buscar Por: