RecordNumber
40290
Author
Partsch, Helmut A.
Title
Specification and transformation of programs; a formal approach to software development
Author Statement
Helmut A. Partsch
Publication
Springer
Publication Year
[c1990]
Collation
xii, 493 p
Subject
Computer software- Development
Main Class
005
Sub Class
.1
Cutter no
P275s
وارد كنندة اطلاعات
fazel^d//