|
|
|
|
| LEADER |
00000nam a2200000Ia 4500 |
| 001 |
1018089 |
| 005 |
20220513151700.0 |
| 006 |
m d |
| 007 |
cr gn--------- |
| 008 |
060718s2006 gw a sb 101 0 eng d |
| 010 |
|
|
|a 2006927705
|
| 020 |
|
|
|a 9783540356318
|
| 020 |
|
|
|a 3540356312
|
| 035 |
|
|
|a 1018089
|
| 035 |
|
|
|a ocm70594262
|
| 040 |
|
|
|a OKU
|c OKU
|
| 050 |
|
0 |
|a QA76.6
|
| 082 |
0 |
4 |
|a 004.2/1/0151
|2 22
|
| 097 |
|
|
|3 Bib#:
|a 1018089
|
| 111 |
2 |
|
|a MPC 2006
|d (2006 :
|c Kingissepa, Estonia)
|
| 245 |
1 |
0 |
|a Mathematics of program construction
|h [electronic resource] :
|b 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /
|c Tarmo Uustalu (ed.).
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2006.
|
| 300 |
|
|
|a x, 454 p. :
|b digital, PDF file.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 4014
|
| 538 |
|
|
|a System requirements: Adobe Acrobat Reader.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 506 |
|
|
|a Access limited to subscribers.
|
| 650 |
|
0 |
|a Computer programming
|v Congresses.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics
|v Congresses.
|
| 700 |
1 |
|
|a Uustalu, Tarmo.
|
| 856 |
4 |
0 |
|u https://go.openathens.net/redirector/canterbury.ac.nz?url=https%3A%2F%2Flink.springer.com%2Fopenurl.asp%3Fgenre%3Dvolume%26id%3D10.1007%2F11783596
|y Connect to electronic resource
|t 0
|
| 991 |
|
|
|a 2006-07-21
|
| 992 |
|
|
|a Created by decon, 21/07/2006. Updated by sys, 13/05/2022.
|
| 999 |
f |
f |
|i 857c317a-43ab-5361-ae1a-781f763ba9ee
|s e1508533-021b-5eb7-890c-a327f5c68883
|t 0
|
