عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 M66 2011
QA76
.
76
.
D47
M66
2011
کتابخانه
محل استقرار
3642212921 (electronic bk.)
9783642212925 (electronic bk.)
b434130
Foundations of computer software
[Book]
modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers /
Radu Calinescu, Ethan Jackson (eds.)
New York :
Springer,
c2011
1 online resource (xii, 238 p.)
Lecture notes in computer science,
LNCS sublibrary. SL 2, Programming and software engineering
6662
0302-9743 ;
Includes bibliographical references and author index
Foundations of Computer Software.
9783642212918
SpringerLink
Monterey Workshop 2010
Computer software-- Development, Congresses
Computer software-- Verification, Congresses
Software engineering, Congresses
005
.
1
22
QA76
.
76
.
D47
M66
2011
Calinescu, Radu C.,1968-
Jackson, Ethan K., (Ethan Kerry)
Monterey Workshop(16th :2010 :, Redmond, Wash.)
20120425035500.0
مطالعه متن کتاب [Book]
Y
