A formal method framework for automated verification of a deaerator system /
Sparad:
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Datorprogram E-bok |
| Språk: | English |
| Publicerad: |
2014.
|
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| LEADER | 01625pam a2200421 i 4500 | ||
|---|---|---|---|
| 001 | 91335 | ||
| 003 | UTeM | ||
| 005 | 20210214093629.0 | ||
| 007 | co ag |||||||| | ||
| 008 | 210214s2014 my ||||| |||| 00| | eng d | ||
| 999 | |c 91335 |d 91335 | ||
| 020 | |c gift | ||
| 040 | |a UTeM |b eng |c UTeM |e rda | ||
| 050 | |b . | ||
| 090 | 0 | 0 | |a TK1811 |b .N35 2014 |
| 100 | 0 | |a Nur Amirah Othman, |e author. |9 24174 | |
| 245 | 1 | 2 | |a A formal method framework for automated verification of a deaerator system / |c Nur Amirah Othman. |
| 264 | 1 | |c 2014. | |
| 300 | |a xii, 44 pages : |b illustrations, charts, photographs ; |c 30 cm + |e 1 computer disc (12 cm) | ||
| 336 | |a text |2 rdacontent | ||
| 336 | |a still image |2 rdacontent | ||
| 337 | |a unmediated |2 rdamedia | ||
| 338 | |a volume |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 500 | |a Accompanied by CD : CDR 11480. | ||
| 650 | 0 | |a Electric power-plants. |9 1448 | |
| 650 | 0 | |a Electric power systems. |x Control |9 4523 | |
| 710 | 2 | |a Universiti Teknikal Malaysia Melaka, |9 6240 |e issuing body. | |
| 790 | |a Faculty of Electrical Engineering | ||
| 791 | |a Bachelor of Electrical Engineering (Control, Instrumentation & Automation) | ||
| 792 | |a 2014 | ||
| 942 | |2 lcc |c UGP - A |k a | ||
| 996 | |a BEKC | ||
| 997 | |a FKE | ||
| 998 | 0 | 0 | |a hrl/291015 |
| 998 | 0 | 0 | |a fj/110221 |
| 952 | |0 0 |1 0 |2 lcc |4 0 |6 TK1811 N35 02014 |7 0 |9 117153 |a PLHKI |b PLHKI |c 1 |d 2019-02-26 |e UTEM |g 0.00 |l 0 |o TK1811 .N35 2014 |p 0000113501 |r 2015-11-30 |s 2015-11-30 |w 2019-02-26 |y UGP - A | ||
| 952 | |0 0 |1 0 |2 lcc |4 0 |6 CDR11480 |7 0 |9 121671 |a MEDIA |b MEDIA |c 5 |d 2019-02-26 |g 0.00 |l 0 |o CDR 11480 |p 0000119666 |r 2016-01-28 |s 2016-01-28 |w 2019-02-26 |y CDR - MEA | ||