Полное описание
> Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009: proceedings / eds. D. Hutchison [et al.] ; SpringerLink (Online service). - Berlin ; Heidelberg : Springer, 2009. - on-line. - (Lecture notes in computer science ; 5668). - URL: http://dx.doi.org/10.1007/978-3-642-02949-3. - ISBN 978-3-642-02949-3. - Текст : электронный.
ГРНТИ | УДК | |
50.05.13 | 004.415.53(063) |
Кл.слова (ненормированные): ВЕРИФИКАЦИЯ -- КОНФЕРЕНЦИИ -- ПРОГРАММЫ ДЛЯ ЭВМ -- ТЕСТИРОВАНИЕ
Доп. точки доступа:
Hutchison, D.
Mitchell, J.C.
Dubois, C.
Weikum, G.
Vardi, M.Y.
Tygar, D.
Terzopoulos, D.
Sudan, M.
Steffen, B.
Pandu Rangan, C.
Naor, M.
Mattern, F.
Kleinberg, J.M.
Kittler, J.
Kanade, T.
Nierstrasz, O.
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-02949-3
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.415.53(063)/T38-918296)>
Шифр в сводном ЭК: c7a18422c738df74c0997c41da68820a
Просмотр издания