عنوان
پدید آورنده
موضوع
رده
QA 76.754 .F67 2003
QA
76
.
754
.
F67
2003
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
electronic
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
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2003
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vi, 285 p. : ill. ; 24 cm
SERIES
Series Title
Lecture notes in computer science ;4082
GENERAL NOTES
Text of Note
Includes bibliographical references and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Marco Bernardo, Paola Inverardi )eds.(
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Real-time data processing
Entry Element
Congresses ، Formal methods )Computer science(
Entry Element
Congresses ، Computer systems
Entry Element
Congresses ، Computer software
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
754
.
F67
2003
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Bernardo, Marco
AU Inverardi, Paola
TI
SE
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
International School on Formal Methods for the Design of Computer, Communication and Software Systems)3rd :2003 :Bertinoro, Italy(
