عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1393
QA
76
.
L28
Vol
.
1393
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
First Statement of Responsibility
Didier Bert )ed.(
EDITION STATEMENT
Statement of Responsibility Relating to Edition
2nd: 1998: Montpellier, France
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1998
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, ]313[ p.: ill., tables
SERIES
Other Title Information
Lecture notes in computer science; 3931
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN 3540644059
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، B method )Computer science(
Entry Element
Congresses ، Debugging in computer science
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
1393
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Bert, Didier
TI
TI Recent advances in the development and use of the B method
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
International B Conference
