عنوان
پدید آورنده
موضوع
رده
QA,76.76,.V47,R88,2009
QA
,
76
.
76
,.
V47
,
R88
,
2009
کتابخانه
محل استقرار
9783642046940
IR
ebook49594
انگلیسی
IR
Runtime verificatio
[Electronic Resource]
:9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers
/ Saddek Bensalem, Doron A. Peled (eds.)
Berlin
: Springer-Verlag,
, c2009.
1 online resource (201 p.)
: ill.
(Lecture notes in computer science
(LNCS sublibrary, SL 2 Programming and software engineering)
; 5779)
Description based on print version record.
e
Includes bibliographical references and index.
Lecture notes in computer science
LNCS sublibrary.SL 2Programming and software engineering
5779
RV 2009
Computer programs--Verification--Congresses
Formal methods (Computer science)--Congresses
Computer programs--Testing--Congresses
005
.
1
,
31
QA
,
76
.
76
,.
V47
,
R88
,
2009
Bensalem, Saddek
Peled, Doron� 1962
RV 2009(2009 :Grenoble, France)
ایران
005.1,31
9783642046933.pdf
0
old catalog
e
BL
1
a
Y
