عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 .M666 2011
QA
76
.
76
.
D47
.
M666
2011
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
electronic
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
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
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 238 p. : ill. )some col.(
SERIES
Series Title
Lecture notes in computer science; 2666
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
GENERAL NOTES
Text of Note
Title from PDF title page )SpringerLink, viewed Sep. 28, 2011(
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Development -- Congresses ، Computer software
Entry Element
Verification -- Congresses ، Computer software
Entry Element
Congresses ، Software engineering
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
D47
.
M666
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Calinescu, Radu C. 1968-
AU Jackson, Ethan K )Ethan Kerry(
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Monterey Workshop )16th : 2010 : Redmond, Wash.(
