عنوان
پدید آورنده
موضوع
رده
005 A394
005
A394
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Algebraic system Specification and development
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
[c1991]
Name of Publisher, Distributor, etc.
Springer
PHYSICAL DESCRIPTION
Other Physical Details
viii, 989p
TOPICAL NAME USED AS SUBJECT
Entry Element
Algebraic logic ► Computer software- Development
DEWEY DECIMAL CLASSIFICATION
Edition
A394
Number
005
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Bidoit, M., ed ► ^dSeries: Lecture notes in computer science, 501
