Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
by Roy Andrew Miller, Leonardo de Moura Paperback 2013
- Author: Roy Andrew Miller, Leonardo de Moura
- ISBN 13: 9783642410703
- ISBN 10: 3642410707
- Publication Year: 2013
- Language: English
Specifications
| Index-10 | 3642410707 |
|---|---|
| Index-13 | 9783642410703 |
| Language | English |
✨ Readers also enjoyed...
Vietnamese Cookery