عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 I593 2012eb
QA76
.
76
.
D47
I593
2012eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642327591 (electronic bk.)
(Number (ISBN
9783642327599 (electronic bk.)
Erroneous ISBN
3642327583
Erroneous ISBN
9783642327582
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434782
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
FM 2012
General Material Designation
[Book]
Other Title Information
formal methods : 18th international symposium, Paris, France, August 27-31, 2012 : proceedings /
First Statement of Responsibility
Dimitra Giannakopoulou, Dominique Méry (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 488 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
7436
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
FM 2012.
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
TOPICAL NAME USED AS SUBJECT
Computer software-- Development, Congresses
Formal methods (Computer science), Congresses
Software engineering, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
D47
Class number
QA76
.
76
.
D47
Book number
I593
2012eb
Book number
I593
2012eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Giannakopoulou, Dimitra
Méry, Dominique
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Symposium of Formal Methods Europe(18th :2012 :, Paris, France)
ORIGINATING SOURCE
Date of Transaction
20130304114535.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
