عنوان
پدید آورنده
موضوع
رده
QA,76.76,.V47,V59,2010
QA
,
76
.
76
,.
V47
,
V59
,
2010
کتابخانه
محل استقرار
alk. paper)
364215056X (pbk.
IR
ebook49926
انگلیسی
IR
Verified software
[Electronic Resource]
:theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings
/ Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)
Berlin ;New York
: Springer,
, 2010.
x, 215 p.
: ill. ; 24 cm.
(Lecture notes in computer science
(LNCS sublibrary
: SL 2-programming and software engineering)
; 6217)
e
Includes bibliographical references and index.
Computer programs--Verification--Congresses
Software.--swd
Verifikation.--swd
Programmtest.--swd
Programmanalyse.--swd
Programmverifikation.--swd
Formale Methode.--swd
Edinburgh <2010>--swd
005
.
14
QA
,
76
.
76
,.
V47
,
V59
,
2010
Leavens, Gary T
O'Hearn, Peter W� 1963
Rajamani, Sriram K.� 1970
VSTTE 2010(2010 :Edinburgh, Scotland)
ایران
005.14
9783642150562.pdf
0
old catalog
e
BL
1
a
Y
