Authors | |
Publisher | Springer Nature |
Year | 05/11/2018 |
Version | eBook: Reflowable eTextbook (ePub) |
Language | English |
ISBN | 9783030024505 |
Categories | Mathematical logic, Computing & information technology, PDAs & other handheld devices: consumer/user guides, Computer programming / software development, Software Engineering, Expert systems / knowledge-based systems |
Formal Methods and Software Engineering