Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Srivas M., Camilleri A. — Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Srivas M., Camilleri A. — Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Авторы: Srivas M., Camilleri A.

Аннотация:

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996. The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1996

Количество страниц: 479

Добавлена в каталог: 20.03.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Arditi, L.      34
Aziz, A.      248
Barrett, C.      187 377
Basin, D.      94
Bickford, M.      310
Blumenroehr, C.      294
Borrione, D.      451
Bose, B.      270
Bouamama, H.      450
Brayton, R.K.      218 248 419
Brock, B.      275
Bryant, R.E.      109
Bundy, A.      94
Burch, J.R.      362
Cantu, F.J.      94
Cerny, E.      233
Chen, Y.-A.      19
Cheng, S.-T.      248
Choppella, V.      270
Clarke, E.      19
Coelho, C.      419
Corella, F.      233
Cyrluk, D.      172
Deharbe, D.      450
Dill, D.L.      159 187 377
Edwards, S.A.      248
Eisenbiegler, D.      294
Esan Tuna, M.      270
Farkas, M.      143
Fox, A.C.J.      346
Fujita, M.      419
Geist, D.      143
Hachtel, G.D.      49 248
Harman, N.A.      346
Harrison, J.      265
Hatori, H.      435
Ho, P.-H.      19
Hojati, R.      218
Hoskote, Y.      19
Isles, A.      218
Jain, A.      109
Jain, J.      419
Jamsek, D.      310
Jones, R.B.      159
Kam, T.      19
Kaufmann, M.      275
Keutzer, K.      1
Khaira, M.      19
Khatri, S.P.      248 419
Kirkpatrick, D.      218
Kropf, T.      202
Kukimoto, Y.      248
Kumar, R.      294
Landver, A.      143
Langevin, M.      233
Le Faou, C.      450
Leathrum, J.F., Jr.      64
Levitt, J.      187
Lewin, D.M.      126
Lichtenstein, Y.      143
Lorenz, D.H.      126
Meinel, C.      404
Minato, S.-i.      435
Miner, P.S.      64
Moore, JS.      275
Narasimhan, N.      327
Narayan A.      419
Nelson, K.      109
O'Leary, J.      19
Pardo, A.      49 248
Qadeer, S.      248
Ranjan, R.K.      248
Ravi, K.      49
Ruess, H.      79
Sangiovanni-Vincentelli, A.      248 419
Sarwary, S.      248
Schmid, D.      294
Schneider, K.      202
Seger, C.-J.H.      159
Sentovich, E.M.      389
Shankar, N.      257
Shiple, T.R.      248
Smaill, A.      94
Somenzi, F.      49 248
Song, X.      233
Su, J.X.      377
Swamy, G.      248
Tahar, S.      233
Takahara, A.      435
Theobald, T.      404
Ur, S.      126 143
Vemuri, R.      327
Villa, T.      248
Wahba, A.      450
Windley, P.J.      362
Wolfsthal, Y.      143
Yoneda, T.      435
Zbao, X.      19
Zhou, Z.      233
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте