Cargando…
Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 /
Autor Corporativo: | |
---|---|
Otros Autores: | |
Formato: | Procedimiento de la Conferencia Libro |
Lenguaje: | English |
Publicado: |
Berlin ; New York :
Springer,
2000.
|
Colección: | Lecture notes in computer science ;
1926 |
Materias: | |
Acceso en línea: | Restricted to Springer LINK subscribers |
Internet
Restricted to Springer LINK subscribersFísica, Matemáticas e Inteligencia Artificial Xalapa -
Número de Clasificación: |
QA76.54 F87 |
---|---|
Copia 1 |
Disponible
Hacer reserva
Notas:
|