Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995 ; proceedings /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), MPC, International Conference on the Mathematics of Program Construction
Other Authors:	Möller, Bernhard
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] : Springer, 1995.
Series:	Lecture notes in computer science ; 947.
Subjects:	Computer programming > Congresses. Computer science > Mathematics > Congresses. Computer programming. Computer science > Mathematics. Softwareentwicklung Mathematik Kongress Irsee <1995> Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Published 1995

Conference Proceeding Book