1/1
Temporal Logic and State Systems
Autor/Editor: Kröger, Fred - Merz, Stephan
Año de edición: 2008
Acceso: UBA
Idioma: inglés
Colección: Computación
Tipo de documento: Monografía
Editor: Springer
ISBN-e: 978-3-540-68635-4