Imagen de Amazon.com
Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer, eds.
Tipo de material:
TextoSeries Lecture notes in computer science ; 4202Editor: Berlin : Springer Verlag, 2006Descripción: xi, 367 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540450262 (rústica); 9783540450269 (rústica)Otro título: FORMATS 2006Tema(s): Simulación por computadora -- Congresos | Autómata temporal -- Congresos | Métodos formales (Computación) -- CongresosClasificación LoC:QA76.9C65 | F68
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | Coleccion General | QA76.9C65 F68 (Navegar estantería(Abre debajo)) | 1 | Disponible | 116026 |
Total de reservas: 0
No hay comentarios en este titulo.