عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2804
QA
76
.
L28
Vol
.
2804
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
EDITION STATEMENT
Statement of Responsibility Relating to Edition
3rd : 2003 : Bertinoro, Italy
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c2003
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vi, 285 p.: ill., tables
SERIES
Other Title Information
Lecture notes in computer science; 4082
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540200835
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Marco Bernardo, Paola Inverardi )eds.(
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer software
Entry Element
، Computer architecture
Entry Element
، System design
Entry Element
، Formal methods )Computer science(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
2804
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Bernardo, Marco
AU Inverardi, Paola
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
