Real Time Programming: Languages, Specification And Verification
Finna-arvio
Real Time Programming: Languages, Specification And Verification
Tallennettuna:
| Muut nimekkeet |
Real Time Programming: Languages, Specification And Verification |
|---|---|
| Kieli |
englanti |
| Julkaisija |
World Scientific Publishing Company,
2009
|
| ISBN |
981-02-2566-0 9786612760273 1-282-76027-0 981-281-402-7 |
| Hae kokoteksti | |