Проверка и утверждение программ реального времени : Пер. с англ. /

Պահպանված է:
Մատենագիտական մանրամասներ
Այլ հեղինակներ: Эренбергер, У., Пур-Вестерхейд, П., Стукаленко, А.А, Никитин, Андрей Иванович (Խմբագիր)
Ձևաչափ: Գիրք
Հրապարակվել է: Киев : Наукова думка , 1990.
Խորագրեր:
Вычислительные системы реального времени - Программное обеспечение
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
LEADER 01395-am-a2200277-a-4500
001 000157801
003 AM-YeHGA
005 20210831113400.0
008 950417s1990 xxu 000 0 ||| u
020 |a 5120003818 
040 |a AM-YEHGA  |c AM-YEHGA 
245 1 0 |a Проверка и утверждение программ реального времени :  |b Пер. с англ. /  |c [С. Болонья, У. Эренбергер, П. Пур-Вестерхейд и др.] ; Пер. А.А. Стукаленко ; Под ред. А.И. Никитина. 
246 3 |a Verification and Validation of Real-Time Software 
260 0 |a Киев :  |b Наукова думка ,  |c 1990. 
300 |a 216 с.  |b и ;  |c . ;  |c 20 см. 
500 |a ամբողջապես կամ մեկ օրացույցային տարվա ընթացքում հրատարակվող մենագրություն 1990 
500 |a այլ 
500 |a Авт. указаны перед вып. дан. 
500 |a Библиогр.: с. 194-210 
650 4 |a Вычислительные системы реального времени - Программное обеспечение 
700 1 |a Эренбергер, У. 
700 1 |a Пур-Вестерхейд, П. 
700 1 |a Стукаленко, А.А. 
700 1 |a Никитин, Андрей Иванович  |4 edt 
999 |c 54667 
952 |o PII/619405  |p 120619405 

Նմանատիպ նյութեր