Cover Image

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

Show other versions (1)
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
Description
Item Description:Literaturangaben
Electronic resource.
Physical Description:1 online resource (VIII, 472 S.)
ISBN:3540601171
9783540601173