Specification and transformation of programs : a formal approach to software development
Author(s)
Bibliographic Information
Specification and transformation of programs : a formal approach to software development
（Texts and monographs in computer science）
Springer-Verlag, c1990
- : gw
- : us : alk. paper
- : gw : soft : student ed
- : u.s. : soft : student ed
Available at / 29 libraries
-
: us : alk. paperC23.1/ P /1:6922046,
: u.s. : soft : student edC23.1/ P /1:5921840 OPAC
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical reference(p.[456]-474) and index
