Main image
Click to view image in fullscreen
![]()
Real Time Programming: Languages, Specification And Verification
The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.
1 330,00 DH
Sur commande
The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.
| ISBN / EAN | 9789810225667 |
|---|---|
| Auteur | Ramesh, S (Indian Inst Of Technology, Bombay, India) |
| Editeur | World Scientific Publishing Co Pte Ltd |