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

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

blank
blank
blank
Красота
blank
Hu A., Martin A. — Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004
Hu A., Martin A. — Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

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



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


Название: Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004

Авторы: Hu A., Martin A.

Аннотация:

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004.

The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.



Язык: en

Рубрика: Computer science/

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

ed2k: ed2k stats

Издание: 1

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Aagaard, Mark D.      98 113
Akbarpour, Behzad      37
Alur, Rajeev      430
Amla, Nina      260
Arditi, Laurent      128
Awedh, Mohammad      230
Baumgartner, Jason      159
Berry, Gerard      128
Biere, Armin      186
Borrione, Dominique      52
Brim, Lubos      352
Cerna, Ivana      352
Chechik, Marsha      306
Chou, Ching-Tsun      382
Cimatti, Alessandro      245
Ciubotariu, Vlad C.      98
Claessen, Koen      337
Dang, Thao      21
Day, Nancy A.      113
Della Penna, Giuseppe      214
Dill, David L.      399
Dillinger, Peter C.      367
Donze, Alexandre      21
Emerson, E. Allen      399
Giunchiglia, Enrico      201
Grumberg, Orna      275
Gurfinkel, Arie      306
Heljanko, Keijo      186
Higgins, Jason T.      98
Intrigila, Benedetto      214
Iyer, Subramanian      399
Jain, Jawahar      399
Jones, Robert B.      113
Junttila, Tommi      186
Kanzelman, Robert      159
Khalvati, Farzad      98
Kishinevsky, Michael      128
Kuehlmann, Andreas      159
Latvala, Timo      186
Maler, Oded      21
Mannava, Phanindra K.      382
Manolios, Panagiotis      82 367
Martensson, Johan      337
McMillan, Ken L.      260
Melatti, Igor      214
Mony, Hari      159
Moon, In-Ho      144
Moore, J. Strother      67
Moravec, Pavel      352
Narayan, Amit      399
Narizzano, Massimo      201
Nopper, Tobias      290
Park, Seungjoon      382
Paruthi, Viresh      159
Pixley, Carl      144
Ray, Sandip      67
Roveri, Marco      245
Sahoo, Debashis      399
Samer, Marko      322
Schmaltz, Julien      52
Scholl, Christoph      290
Schuster, Assaf      275
Sheeran, Mary      6
Sheridan, Daniel      245
Sidle, Thomas      414
Simsa, Jiri      352
Somenzi, Fabio      230
Stangier, Christian      399 414
Tacchella, Armando      201
Tahar, Sofiene      37
Tronci, Enrico      214
Veith, Helmut      322
Venturini Zilli, Marisa      214
Vroon, Daron      82
Wolf, Wayne      1
Yadgar, Avi      275
Yang, Zijiang      430
Zarpas, Emmanuel      174
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте