عنوان
پدید آورنده
موضوع
رده
QA76.9.E94 I585 2010eb
QA76
.
9
.
E94
I585
2010eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
364227269X (e-ISBN)
(Number (ISBN
9783642272691 (e-ISBN)
Erroneous ISBN
3642272681
Erroneous ISBN
9783642272684
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434400
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal aspects of component software
General Material Designation
[Book]
Other Title Information
7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papers /
First Statement of Responsibility
Luís Soares Barbosa, Markus Lumpe (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 (x, 303 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
6921
ISSN of Series
0302-9743 ;
GENERAL NOTES
Text of Note
"On behalf of the Organizing Committee we are pleased to present the proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010) organized by the University of Minho and held in Guimarães, Portugal during October 14-16, 2010"--Pref
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Formal Aspects of Component Software.
International Standard Book Number
9783642272684
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
FACS 2010
TOPICAL NAME USED AS SUBJECT
Component software, Congresses
Formal methods (Computer science), Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
E94
Class number
QA76
.
9
.
E94
Book number
I585
2010eb
Book number
I585
2010eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Barbosa, Luís Soares
Lumpe, Markus
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Workshop on Formal Aspects of Component Software(7th :2010 :, Guimarães, Portugal)
ORIGINATING SOURCE
Date of Transaction
20120409104603.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
