1/1

Software Engineering and Formal Methods

Autor/Editor: De Nicola, Rocco - Kühn, Eva

Año de edición: 2016

Acceso: UBA

URL: http://dx.doi.org/10.1007/978-3-319-41591-8

Idioma: inglés

Colección: Computación

Keywords: Software Engineering - Logics and Meanings of Programs - Programming Languages - Compilers - Interpreters - Mathematical Logic and Formal Languages - Programming Techniques - Artificial Intelligence (incl. Robotics)

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

Vol.No.: 9763

Tipo de documento: Monografía

Edición: 1st ed.

Editor: Springer International Publishing

ISBN-e: 978-3-319-41591-8

ISSN-e: 1611-3349

Buscar Por: