Normal View ISBD View

Partsch, Helmut A.

Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch - Berlin ; New York : Springer-Verlag, 1990 - XIII, 493 p. : ill. ; 25 cm. - Texts and monographs in computer science .

ISBN: 0387523561

Subjects--Topical Terms:
Computer software--Development

LC Class. No.: QA76.76.D47P37

Dewey Class. No.: 005.1