Cover Image

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: MPC 2002 Dagstuhl Castle, Germany
Other Authors: Boiten, Eerke, 1966-, Möller, Bernhard, 1953-
Format: Conference Proceeding Book
Language:English
Published: Berlin; New York : Springer, 2002.
Series:Lecture notes in computer science ; 2386.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Computer programming > Congresses.
Computer science > Mathematics > Congresses.
Description
Physical Description:xi, 420 pages : illustrations ; 23 cm.
Bibliography:Includes bibliographical references and author index.
ISBN:3540438572 (alk. paper)
ISSN:0302-9743 ;