Algebraic specification of information systems

Bibliographic Details
Main Author: Karimaa, Erkki
Format: Doctoral dissertation
Language:eng
Published: Jyväskylä : 1995.
Series:Jyväskylä studies in computer science, economics and statistics, 26.
Subjects:
Online Access:https://jyu.finna.fi/Record/jykdok.543388

MARC

LEADER 00000cam a2200000ui 4500
001 543388
003 FI-J
005 20210226020915.0
008 970515s1995 fi ||||||m |||||||eng||
020 |a 951-34-0545-1  |q nidottu 
035 |a 543388 
041 0 |a eng  |b fin 
080 |a 51 
080 |a 311 
100 1 |a Karimaa, Erkki. 
245 1 0 |a Algebraic specification of information systems /  |c Erkki Karimaa. 
260 |a Jyväskylä :  |b University of Jyväskylä,  |c 1995. 
300 |a 112 sivua :  |b kuvitettu ;  |c 25 cm 
336 |a teksti  |b txt  |2 rdacontent 
337 |a käytettävissä ilman laitetta  |b n  |2 rdamedia 
338 |a nide  |b nc  |2 rdacarrier 
490 1 |a Jyväskylä studies in computer science, economics and statistics,  |x 0357-9921 ;  |v 26 
502 |a Väitöskirja  |c Jyväskylän yliopisto, tietojenkäsittelytiede. 
650 7 |a matemaattinen logiikka  |2 yso/fin  |0 http://www.yso.fi/onto/yso/p15194 
650 7 |a matemaattinen tilastotiede  |2 yso/fin  |0 http://www.yso.fi/onto/yso/p3590 
650 7 |a ohjausjärjestelmät  |2 yso/fin  |0 http://www.yso.fi/onto/yso/p15802 
650 7 |a tietojärjestelmät  |2 yso/fin  |0 http://www.yso.fi/onto/yso/p3927 
650 7 |a systeemiteoria  |2 yso/fin  |0 http://www.yso.fi/onto/yso/p13479 
830 0 |a Jyväskylä studies in computer science, economics and statistics,  |x 0357-9921 ;  |v 26. 
852 |a FI-P  |c 9511234 
903 |a b 
591 |i 113 
999 |c 543388  |d 543388 
952 |b KANAVUORI  |c 1210  |o P 9511234  |9 1