Mathematics of Program Construction
Subtitle: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Roland Backhouse (Editor); Jose Nuno Oliveira (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 31, 2000
Language: eng
Format: Paperback
Number of pages: 257
ISBN-13: 9783540677277
Subjects: Software engineering; Computer Mathematics; Software Design; Computers; Medical / Nursing; General; Programming - Systems Analysis & Design; Computers / Programming / General; Formal Methods; Program Development; Program Logics; Program Semantics; Program Specification; Programming Theory; Programming - Software Development; Computer Science; Computer programming; Congresses; Mathematics