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 |
| Descripción Física: | x, 303 p. ; 24 cm. Also available via the World Wide Web. |
|---|---|
| Bibliografía: | Incluye bibliografías. |
| ISBN: | 3540410554 (rústica) |