Buscar Por:

Título
Autor/Editor
Colección


<<< 1/1 >>>

Tools and Algorithms for the Construction and Analysis of Systems

Autor/Editor: Beyer, Dirk - Huisman, Marieke
Año de edición: 2018
Acceso: UBA
URL: http://doi.org/10.1007/978-3-319-89963-3
Idioma: inglés
Colección: Computación
Keywords: Computer Science - Logics and Meanings of Programs - Software Engineering/Programming and Operating Sys - Computer Systems Organization and Communication Ne - Computing Milieux - Computer Hardware
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-319-89963-3
ISSN-e: 1611-3349