2014 International SPIN Symposium on Model Checking of Software (SPIN) : proceedings : July 21-23, 2014, San Jose, CA, USA

Detalles Bibliográficos
Autor principal:	Rungta, Neha S. 1979- (-)
Autor Corporativo:	Association for Computing Machinery-Digital Library (-)
Otros Autores:	Rungta, Neha S. (Neha Shyam), 1979- Contributor (contributor), Tkachuk, Oksana Contributor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] ACM 2014
Colección:	ACM Conferences
Materias:	SPIN (Computer file) > Congresses.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712989006719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (136 pages)
ISBN:	9781450324526

Ejemplares similares