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 |