<<< 1/1 >>>

Formal Techniques for Distributed Systems

Autor/Editor: Giese, Holger - Rosu, Grigore
Año de edición: 2012
Acceso: UBA
URL: http://dx.doi.org/10.1007/978-3-642-30793-5
Idioma: inglés
Colección: Computación
Keywords: Computer Communication Networks - Programming Techniques - Software Engineering - Programming Languages - Compilers - Interpreters - Logics and Meanings of Programs - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 7273
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-30793-5
ISSN-e: 1611-3349