|
" Unifying theories of programming "
Andrew Butterfield (ed.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
1033383
|
| Doc. No
|
:
|
b787753
|
| Main Entry
|
:
|
UTP 2008(2nd :, 2008)., Auteur.
|
| Title & Author
|
:
|
Unifying theories of programming : Second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 : revised selected papers /\ Andrew Butterfield (ed.).
|
| Publication Statement
|
:
|
Berlin :: Springer,, cop. 2010.
|
| Series Statement
|
:
|
Lecture notes in computer science,; 5713
|
| Page. NO
|
:
|
1 vol. (278 p.) :: ill. ;; 24 cm.
|
| ISBN
|
:
|
3642145205
|
|
|
:
|
: 9783642145209
|
| Bibliographies/Indexes
|
:
|
Notes bibliogr. Index.
|
| Subject
|
:
|
Computer programming, Congresses.
|
| Subject
|
:
|
Computer programming.
|
| Subject
|
:
|
Ordinateurs-- Programmation-- Congrès.
|
| Dewey Classification
|
:
|
005.1
|
| LC Classification
|
:
|
QA76.6
|
| Added Entry
|
:
|
Butterfield, Andrew
|
| |