Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Record no. 52004)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00243 a2200085 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 978319640204 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | O'Regan, Gerard |
| 245 ## - TITLE STATEMENT | |
| Title | Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Springer |
| Date of publication, distribution, etc. | 2017 |
No items available.
