Полное описание

004.415.53(063)/T38-918296
Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings / eds. D. Hutchison [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 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(062)

Кл.слова (ненормированные): программы для эвм -- тестирование -- верификация -- конференции
Доп. точки доступа:
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

Просмотр издания