عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 M66 2011
QA76
.
76
.
D47
M66
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642212921 (electronic bk.)
(Number (ISBN
9783642212925 (electronic bk.)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434130
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Foundations of computer software
General Material Designation
[Book]
Other Title Information
modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers /
First Statement of Responsibility
Radu Calinescu, Ethan Jackson (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xii, 238 p.)
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
6662
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
OTHER EDITION IN ANOTHER MEDIUM
Title
Foundations of Computer Software.
International Standard Book Number
9783642212918
PIECE
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
Monterey Workshop 2010
TOPICAL NAME USED AS SUBJECT
Computer software-- Development, Congresses
Computer software-- Verification, Congresses
Software engineering, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
D47
Book number
M66
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Calinescu, Radu C.,1968-
Jackson, Ethan K., (Ethan Kerry)
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Monterey Workshop(16th :2010 :, Redmond, Wash.)
ORIGINATING SOURCE
Date of Transaction
20120425035500.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
