1/1
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Autor/Editor: Margaria, Tiziana - Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Computer Science - Software Engineering - Programming Languages - Compilers - Interpreters - Theory of Computation - Computer Systems Organization and Communication Ne - The Computing Profession
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-03418-4
ISSN-e: 1611-3349