Formal methods for real-time computing
Sin autor
- Título:
- Formal methods for real-time computing
- Autor:
- Sin autor
- Colaboradores:
- Heitmeyer, Constance (Editor/a)Mandrioli, Dino (Editor/a)
- Temas:
- MÉTODOS FORMALES ; DESARROLLO DE SOFTWARE ; SISTEMAS DE TIEMPO REAL ;
- Edición:
- Repr.
- Localización electrónica:
- Serie:
- Trends in Software; 5
- Descripción física:
- xvii, 271 p.:il. ; 24 cm.
- ISBN:
- 0-471-95835-2
- Idioma:
- Inglés,
- País:
- Reino Unido
- Publicación:
- Chichester, 1996
Puede solicitar más fácilmente el ejemplar con: C.3 FOR
Se cuenta con disponibilidad inmediata para llevar a domicilio.
Disponibilidad Actual Para Préstamo: 1 Disponibilidad Actual Para Sala de Lectura: 0 Cantidad Actual de Reservas: 0 Cantidad Actual de Préstamos: 0