عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 I594 2008eb
QA76
.
9
.
F67
I594
2008eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642032400 (e-isbn)
(Number (ISBN
9783642032400 (e-isbn)
Erroneous ISBN
3642032397
Erroneous ISBN
9783642032394
NATIONAL BIBLIOGRAPHY NUMBER
Number
b509235
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods for industrial critical systems :
General Material Designation
[Book]
Other Title Information
13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
First Statement of Responsibility
Darren Cofer, Alessandro Fantechi (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2009]
Date of Publication, Distribution, etc.
©2009
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 231 pages) :
Other Physical Details
illustrations (some color).
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
5596
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references
OTHER EDITION IN ANOTHER MEDIUM
Title
Formal methods for industrial critical systems.
International Standard Book Number
9783642032394
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
FMICS 2008
TOPICAL NAME USED AS SUBJECT
Computer programs-- Reliability, Congresses.
Computer programs-- Verification, Congresses.
Computer software-- Reliability, Congresses.
Computer software-- Verification, Congresses.
Formal methods (Computer science), Congresses.
Software engineering, Congresses.
(SUBJECT CATEGORY (Provisional
QA
DEWEY DECIMAL CLASSIFICATION
Number
005
.
13/1
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
Book number
I594
2008eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Cofer, Darren.
Fantechi, Alessandro.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Workshop on Formal Methods for Industrial Critical Systems(13th :2008 :, L'Aquila, Italy)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network.
ORIGINATING SOURCE
Date of Transaction
20100809095108.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
