Modern formal methods and applications /
57
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Dordrecht : Springer,
2006
|
| Subjects: |
| _version_ | 1796659544741380096 |
|---|---|
| author | Gabbar, Hossam A |
| author_facet | Gabbar, Hossam A |
| author_sort | Gabbar, Hossam A |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T16:04:45Z |
| format | |
| id | KOHA-OAI-TEST:71989 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T16:04:45Z |
| publishDate | 2006 |
| publisher | Dordrecht : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:719892020-12-19T17:00:04ZModern formal methods and applications / Gabbar, Hossam A Dordrecht : Springer,2006eng575859PSZJBLFormal methods (Computer science)Formal methods (Computer science)URN:ISBN:1402042221 (hbk.)URN:ISBN:9781402042225URN:ISBN:9781402042232 |
| spellingShingle | Formal methods (Computer science) Formal methods (Computer science) Gabbar, Hossam A Modern formal methods and applications / |
| title | Modern formal methods and applications / |
| title_full | Modern formal methods and applications / |
| title_fullStr | Modern formal methods and applications / |
| title_full_unstemmed | Modern formal methods and applications / |
| title_short | Modern formal methods and applications / |
| title_sort | modern formal methods and applications |
| topic | Formal methods (Computer science) Formal methods (Computer science) |
| work_keys_str_mv | AT gabbarhossama modernformalmethodsandapplications |