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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.6
 
Call Number Status Get It
QA76.6 Available