عنوان
پدید آورنده
موضوع
رده
QA76.758 .I58 2011
QA76
.
758
.
I58
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642246907 (electronic bk.)
(Number (ISBN
9783642246906 (electronic bk.)
Erroneous ISBN
9783642246890
NATIONAL BIBLIOGRAPHY NUMBER
Number
b509282
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Software engineering and formal methods :
General Material Designation
[Book]
Other Title Information
9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
First Statement of Responsibility
Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2011]
Date of Publication, Distribution, etc.
©2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiv, 504 pages) :
Other Physical Details
illustrations (some color).
SERIES
Series Title
Lecture notes in computer science,
Volume Designation
7041
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
PIECE
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
SEFM 2011
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses.
Software engineering, Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
005
.
3
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
758
Book number
.
I58
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Barthe, Gilles,1967-
Pardo, Alberto.
Schneider, Gerardo.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Software Engineering and Formal Methods(9th :2011 :, Montevideo, Uruguay)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network.
ORIGINATING SOURCE
Date of Transaction
20120425035514.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
