Utilize este identificador para referenciar este registo:
https://biblioteca.unisced.edu.mz/jspui/handle/123456789/382| Título: | Tools and Algorithms for the Construction and Analysis of Systems |
| Autores: | Beyer, Dirk Beyer • Marieke Huisman • Fabrice Kordon Dirk; Huisman, Marieke; Kordon, Fabrice; et all. |
| Palavras-chave: | Tools, Algorithms, Construction and Analysis of Systems |
| Data: | 2019 |
| Editora: | Springer Open |
| Descrição: | 256p. |
| URI: | https://biblioteca.unisced.edu.mz/jspui/handle/123456789/382 |
| ISBN: | 978-3-030-17502-3 |
| Aparece nas colecções: | Sistemas de Informação |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| Tools and Algorithms for the Construction and Analysis of Systems.pdf | 10.66 MB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.