|
" Mathematics of program construction "
Jeremy Gibbons, Pablo Nogueira (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605448
|
| Doc. No
|
:
|
b434667
|
| Main Entry
|
:
|
MPC 2012(2012 :, Madrid, Spain)
|
| Title & Author
|
:
|
Mathematics of program construction : 11th international conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /\ Jeremy Gibbons, Pablo Nogueira (eds.)
|
| Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, c2012
|
| Series Statement
|
:
|
Lecture notes in computer science,; 7342
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource (x, 362 p.) :: ill
|
| ISBN
|
:
|
9783642311130 (electronic bk.)
|
|
|
:
|
: 364231113X (electronic bk.)
|
|
|
:
|
9783642311123
|
|
|
:
|
3642311121
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Computer programming-- Mathematics, Congresses
|
| Subject
|
:
|
Computer programs-- Mathematics, Congresses
|
| Dewey Classification
|
:
|
005.101/51
|
| LC Classification
|
:
|
QA76.6.M6926 2012eb
|
|
|
:
|
QA76.6.M6926 2012eb
|
| Added Entry
|
:
|
Gibbons, Jeremy,1966-
|
|
|
:
|
Nogueira, Pablo
|
| Parallel Title
|
:
|
MPC 2012
|
| |