عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 .M666 2011
QA
76
.
76
.
D47
.
M666
2011
کتابخانه
محل استقرار
electronic
Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Berlin
Springer
2011
xii, 238 p. : ill. )some col.(
Lecture notes in computer science; 2666
LNCS sublibrary. SL 2, Programming and software engineering
Title from PDF title page )SpringerLink, viewed Sep. 28, 2011(
Includes bibliographical references and index
Development -- Congresses ، Computer software
Verification -- Congresses ، Computer software
Congresses ، Software engineering
QA
76
.
76
.
D47
.
M666
2011
AU
AU Calinescu, Radu C. 1968-
AU Jackson, Ethan K )Ethan Kerry(
Monterey Workshop )16th : 2010 : Redmond, Wash.(
