Mathematics of program construction / Proceedings of International Conference...; ed. J. L. A. van de Snepscheut
Corporate Author (Main)
International Conference on Mathematics of Program Construction, Groningen, 1989
Secondary Author
Snepscheut, J. L. A. van de
Country
Alemanha.
Publication
Berlin : Springer-Verlag, 1989
Description
VI, 420 p. ;
25 cm
Series
Lecture notes in computer science , 375
ISBN
3-540-51305-1
CDU
519.68
There are no comments for this item.