Tool Support for System Specification, Development and Verification
Author:
, , , ,Publisher:
ISBN: 9783211832820,9783709163559
Language:
English
Collections
:
-
Statistics
Tool Support for System Specification, Development and Verification
Show full item record
| contributor author | R. Berghammer | |
| contributor author | Y. Lakhnech | |
| contributor author | W. Reif (auth.) | |
| contributor author | Prof. Dr. Rudolf Berghammer | |
| contributor author | Dr. Yassine Lakhnech (eds.) | |
| date accessioned | 2020-04-28T16:00:30Z | |
| date available | 2020-04-28T16:00:30Z | |
| date copyright | 1999 | |
| identifier isbn | 9783211832820,9783709163559 | |
| identifier other | /pad-books/901000-1000000/944000/72e84965a6d9fa2f9af4a977880aac9b.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/3176352?locale-attribute=en | |
| format mimetype | application/pdf | |
| language | English | |
| publisher | Springer Vienna | |
| title | Tool Support for System Specification, Development and Verification | |
| type | Ebook | |
| contenttype | Fulltext | |
| identifier padid | 2121936 | |
| coverage | general | |
| pages | IX, 232 pp. 57 fig. | |
| filesize | 19437650 | |
| identifier link | https://pad.um.ac.ir/file/view/2121936 | |
| description edition | Softcover reprint of the original 1st ed. 1999 | |
| series | Advances in Computing Science |