Authors | |
Publisher | Springer Nature |
Year | 21/08/2012 |
Edition | First |
Version | eBook: Fixed Page eTextbook (PDF) |
Language | English |
ISBN | 9783642327599 |
Categories | Economics, finance, business & management, Mathematical logic, Computing & information technology, Computer programming / software development, Software Engineering |
FM 2012: Formal Methods