Mathematical methods of specification and synthesis of software systems '85 :
proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 /
edited by W. Bibel and K.P. Jantke.

Description

Tools

Cite this Export citation file
Related Names
Jantke, K. P. (Klaus P.)
Bibel, W., 1938-
Language(s)
English
Published
Berlin ; Springer-Verlag, c1986.
Subjects
Algebra, Universal > Congresses.
Logic, Symbolic and mathematical > Congresses.
Computer programming > Congresses.
Computer programs > Congresses.
Physical Description
245 p. : ill. ; 25 cm.
ISBN
0387164448
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Limited (search only)   University of Michigan