عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 I584 2009
QA76
.
9
.
F67
I584
2009
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642103731
(Number (ISBN
9783642103735
Erroneous ISBN
9783642103728
NATIONAL BIBLIOGRAPHY NUMBER
Number
b509238
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods and software engineering
General Material Designation
[Book]
Other Title Information
11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings /
First Statement of Responsibility
Karin Breitman, Ana Cavalcanti (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2009
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiv, 758 p. :
Other Physical Details
ill.)
SERIES
Series Title
Lecture notes in computer science,
Volume Designation
5885
ISSN of Series
0302-9743 ;
GENERAL NOTES
Text of Note
International conference proceedings
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
Annotation
OTHER EDITION IN ANOTHER MEDIUM
Title
Formal methods and software engineering.
International Standard Book Number
3642103723
PIECE
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
ICFEM 2009
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses
Software engineering, Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
Book number
I584
2009
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Breitman, K. K., (Karin K.)
Cavalcanti, Ana
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Formal Engineering Methods(11th :2009 :, Rio de Janeiro, Brazil)
ORIGINATING SOURCE
Date of Transaction
20120501034632.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
