Cargando…
Real Time Programming : Languages, Specification And Verification.
The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of r...
| Clasificación: | Libro Electrónico |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
World Scientific
2009.
|
| Temas: | |
| Acceso en línea: | Texto completo |