عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2090
QA
76
.
L28
Vol
.
2090
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
EDITION STATEMENT
Statement of Responsibility Relating to Edition
1st : 2000 : Berg en Dal, Netherlands
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
]vii[, 429 p.: ill., tables
SERIES
Other Title Information
Lecture notes in computer science; 0902
GENERAL NOTES
Text of Note
FMPA organized as the first School on Trends in Computer Science by the European Educational Forum.
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540424792
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen )eds.(
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Formal methods )Computer science(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
2090
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Brinksma, Ed
AU Hermanns, Holger, 1967-
AU Katoen, Joost-Pieter
CO FMPA 2000 : Berg en Dal, Netherlands
CO European Educational Forum
TI
TI Formal methods and performance analysis
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
EEF Summer School on Trends in Computer Science
