Search:

Type:

Format:

Library:

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings Cover Image

E-book

E-book

Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira.

Gibbons, Jeremy. (editor.). Nogueira, Pablo. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642311130
Physical Description: X, 363p. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Search for related items by subject

Subject:

Computer science.
Software engineering.
Logic design.
Computational complexity.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Math Applications in Computer Science.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record