|
|
|
|
| LEADER |
01208nam a2200289 a 4500 |
| 001 |
c000313105 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
s1983 fi a b 00010 eng d |
| 019 |
1 |
|
|a 5380484
|5 LACONCORD2021
|
| 020 |
|
|
|a 951666170X
|
| 035 |
|
|
|a (OCoLC)10893043
|5 LACONCORD2021
|
| 040 |
|
|
|a VDU
|c VDU
|
| 082 |
0 |
4 |
|a 004.33
|2 20
|
| 100 |
1 |
|
|a Saukkonen, Samuli.
|
| 245 |
1 |
2 |
|a A constructive method for the architectural design and correctness verification of real-time programs /
|c Samuli Saukkonen.
|
| 260 |
|
|
|a Helsinki :
|b Finnish Academy of Technical Sciences,
|c 1983.
|
| 300 |
|
|
|a 122 p. :
|b ill. ;
|c 25 cm.
|
| 490 |
0 |
|
|a Acta polytechnica Scandinavica. Mathematics and computer science series ;
|v no. 40.
|
| 502 |
|
|
|a Thesis (doctoral)--University of Oulu, Finland, 1983.
|
| 504 |
|
|
|a Bibliography: p. 105-113.
|
| 650 |
|
0 |
|a Real-time data processing.
|
| 650 |
|
0 |
|a Online data processing.
|
| 710 |
2 |
0 |
|a Finnish Academy of Technical Sciences.
|
| 852 |
8 |
|
|b CARM
|h A3:AD03F0
|i C11431
|p 0470316
|f BK
|
| 999 |
f |
f |
|i 54bb2547-26bb-59c8-befe-bd84939c486b
|s 695d574e-cd74-5be1-a096-378fe0519a20
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C11431
|f A3:AD03F0
|h Other scheme
|i book
|m 0470316
|