Su búsqueda retornó 3 resultados.

Resultados
	1.	Principles of cyber-physical systems / Rajeev Alur. por Alur, Rajeev, 1966- Detalles de publicación: Cambridge, Massachusetts : MIT, 2015 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2 A471. Agregar al carrito (remover)
	2.	Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger. por CAV (Conference) (8º : 1996 : New Brunswick, N.J.) Alur, Rajeev, 1966- [ed.,] Henzinger, Thomas A [ed.] Series Lecture notes in computer science ; v. 1102 \| LNCS ; v. 1102 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1102 . Agregar al carrito (remover)
	3.	Hybrid systems III : verification and control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag. por DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems (1995 : Rutgers university, New Jersey) Alur, Rajeev, 1966- [ed.,] Henzinger, Thomas A [ed.] Sontag, Eduardo D, 1951- [ed.] Series Lecture notes in computer science ; v. 1066 \| LNCS ; v. 1066 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1066 . Agregar al carrito (remover)

Refinar su búsqueda