عنوان
پدید آورنده
موضوع
رده
QA 76.758 .A437 1999
QA
76
.
758
.
A437
1999
کتابخانه
محل استقرار
English
Algebraic foundations of systems specification
Berlin ; New York
Springer
c1999
xii, 615 p. :ill. ;25 cm.
IFIP state-of-the-art reports
Includes bibliographical references )p. ]263[-610( and indexes.
E. Astesiano, H.-J. Kreowski, B. Krieg-Bruckner )eds.(
1
، Software engineering
، Formal methods )Computer science(
، System design
004
.
2/1
QA
76
.
758
.
A437
1999
TI
AU Astesiano, E. )Egidio( 1939-
AU Kreowski, H.-J. )Hans-Jorg(
AU Krieg-Bruckner, B. )Bernd(
SE
