عنوان
پدید آورنده
موضوع
رده
QA76.758 .I58 2011
QA76
.
758
.
I58
2011
کتابخانه
محل استقرار
3642246907 (electronic bk.)
9783642246906 (electronic bk.)
9783642246890
b509282
Software engineering and formal methods :
[Book]
9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
New York :
Springer,
[2011]
©2011
1 online resource (xiv, 504 pages) :
illustrations (some color).
Lecture notes in computer science,
7041
0302-9743 ;
Includes bibliographical references and index
SpringerLink
SEFM 2011
Formal methods (Computer science), Congresses.
Software engineering, Congresses.
005
.
3
23
QA76
.
758
.
I58
2011
Barthe, Gilles,1967-
Pardo, Alberto.
Schneider, Gerardo.
International Conference on Software Engineering and Formal Methods(9th :2011 :, Montevideo, Uruguay)
Ohio Library and Information Network.
20120425035514.0
rda
مطالعه متن کتاب [Book]
Y
