1/1

Theories of Programming and Formal Methods

Autor/Editor: Liu, Zhiming - Woodcock, Jim - Zhu, Huibiao

Año de edición: 2013

Acceso: UBA

URL: http://dx.doi.org/10.1007/978-3-642-39698-4

Idioma: inglés

Colección: Computación

Keywords: Theory of Computation - Software Engineering - Simulation and Modeling

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

Tipo de documento: Reunión

Editor: Springer Berlin Heidelberg

ISBN-e: 978-3-642-39698-4

ISSN-e: 1611-3349

Buscar Por: