Software specification methods /
57
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
London : ISTE Publishing Company,
2006
|
| Subjects: |
| _version_ | 1796672511242403840 |
|---|---|
| author | Habrias, Henri Frappier, Marc, 1965- |
| author_facet | Habrias, Henri Frappier, Marc, 1965- |
| author_sort | Habrias, Henri |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T19:16:52Z |
| format | |
| id | KOHA-OAI-TEST:136103 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T19:16:52Z |
| publishDate | 2006 |
| publisher | London : ISTE Publishing Company, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1361032020-12-19T17:03:13ZSoftware specification methods / Habrias, Henri Frappier, Marc, 1965- London : ISTE Publishing Company,2006eng575859PSZJBLFormal methods (Computer science)Computer softwareURN:ISBN:1905209347 (hbk.) |
| spellingShingle | Formal methods (Computer science) Computer software Habrias, Henri Frappier, Marc, 1965- Software specification methods / |
| title | Software specification methods / |
| title_full | Software specification methods / |
| title_fullStr | Software specification methods / |
| title_full_unstemmed | Software specification methods / |
| title_short | Software specification methods / |
| title_sort | software specification methods |
| topic | Formal methods (Computer science) Computer software |
| work_keys_str_mv | AT habriashenri softwarespecificationmethods AT frappiermarc1965 softwarespecificationmethods |