Specification and transformation of programs; a formal approach to software development

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//
Link To Document :
https://lib.ui.ac.ir/dL/search/default.aspx?Term=40290&Field=0&DTC=2

Partsch, Helmut A.