Algebraic system Specification and development

Editor

M. Bidoit [et als]

Publication

Springer

Publication Year

[c1991]

Collation

viii, 989p

Series

Lecture notes in computer science, 501

Bibliography

Bibliography: p. 89- 98

Subject

Algebraic logic , Computer software- Development

ADDED ENTRIES

Bidoit, M., ed , ^dSeries: Lecture notes in computer science, 501

Main Class

005

Sub Class

.11

Cutter no

A394

وارد كنندة اطلاعات

Hovsepian 1025^d//

Link To Document