|
|
|
|
| LEADER |
00894nam a2200277a 44500 |
| 001 |
UBP00757 |
| 003 |
AR-CdUBP |
| 005 |
20220310151011.0 |
| 008 |
151212s1992#######|||||||||||||||||eng|d |
| 020 |
|
|
|a 0-1886-3152-X
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 100 |
|
|
|a Kavi, Krishna M.
|
| 245 |
1 |
0 |
|a Real-time systems :
|b abstractions, languages, and design methodologies /
|c Krishna M. Kavi
|
| 260 |
|
|
|a Washington :
|b IEEE,
|c 1992
|
| 300 |
|
|
|a xi, 660 p. ;
|c 28 cm.
|
| 504 |
|
|
|a Incluye bibliografía
|
| 505 |
0 |
|
|a 1. Real-time systems: perspectives. 2. Real-time specification and verification. 3. Real-time languages.4. Real-time systems design methodologies.
|
| 650 |
|
4 |
|a PROCESAMIENTO EN TIEMPO REAL
|
| 653 |
|
|
|a INFORMATICA
|
| 930 |
|
|
|a INFORMATICA
|
| 931 |
|
|
|a 00757
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 004.451.7.031.43
|b K178
|
| 999 |
|
|
|c 16372
|d 16372
|