UML- B specification for proven embedded systems design /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Bernin, Fredrik
Άλλοι συγγραφείς: Mermet, Jean
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Boston : Kluwer Academic Publishers, c2004
Θέματα:
LEADER 01662nam a2200301 a 4500
001 00332634
003 GR-PaULI
008 080819s2004 xxu e b 000 0 eng d
020 |a 1402028660 
040 |a GrPaTEI  |b gre  |c GR-PaULI 
082 0 |a 005.117 
100 1 |a Bernin, Fredrik 
245 1 0 |a UML- B specification for proven embedded systems design /  |c Fredrik Bernin .. (κ.α.) ; (επιμ.) Jean Mermet. 
260 |a Boston :  |b Kluwer Academic Publishers,  |c c2004 
300 |a ix, 300 σ. :  |b πιν. ;  |c 24 εκ. 
504 |a Περιλαμβάνει βιβλιογραφία. 
650 0 |a Application software 
650 0 |a B (Computer program language) 
650 0 |a Embedded computer systems 
650 0 |a UML (Computer science) 
700 1 |a Mermet, Jean 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_117000000000000_UML  |7 0  |9 251184  |a LISK-2  |b LISK-2  |c BSC  |d 2021-01-17  |e 24  |f 0  |g 0.00  |l 0  |o 005.117 UML  |p 99243000007545  |r 2021-01-17 00:00:00  |t 1  |w 2021-01-17  |y BK15  |x GrPaTEI - Antirrio 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_117000000000000_UML  |7 0  |9 251185  |a LISK-2  |b LISK-2  |c BSC  |d 2021-01-17  |e 24  |f 0  |g 0.00  |l 0  |o 005.117 UML  |p 99243000007546  |r 2021-01-17 00:00:00  |t 1  |w 2021-01-17  |y BK15  |x GrPaTEI - Antirrio 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_117000000000000_UML  |7 0  |9 251186  |a LISK-2  |b LISK-2  |c BSC  |d 2021-01-17  |e 24  |f 0  |g 0.00  |l 0  |o 005.117 UML  |p 99243000007547  |r 2021-01-17 00:00:00  |t 1  |w 2021-01-17  |y BK15  |x GrPaTEI - Antirrio 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_117000000000000_UML  |7 0  |9 251187  |a LISK-2  |b LISK-2  |c BSC  |d 2021-01-17  |e 24  |f 0  |g 0.00  |l 0  |o 005.117 UML  |p 99243000007548  |r 2021-01-17 00:00:00  |t 1  |w 2021-01-17  |y BK15  |x GrPaTEI - Antirrio 
971 |a .b19631352  |b 29-09-20  |c 04-09-15 
999 |c 149035  |d 149035