Buscar Por:

Título
Autor/Editor
Colección

1/1

Leveraging Applications of Formal Methods, Verification, and Validation. 6th International Symposium, ISoLA 2014 and 5th International Symposium, ISoLA 2012. Revised Selected Papers

Autor/Editor: Lamprecht, Anna-Lena

Año de edición: 2016

Acceso: UBA

URL: http://dx.doi.org/10.1007/978-3-319-51641-7

Idioma: inglés

Colección: Computación

Keywords: Software Engineering - Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Database Management - Simulation and Modeling - Computation by Abstract Devices

Título de la Serie: Communications in Computer and Information Science

Vol.No.: 683

Tipo de documento: Reunión

Edición: 1st ed.

Editor: Springer International Publishing

ISBN-e: 978-3-319-51641-7

ISSN-e: 1865-0937