Log in to your account
Machado,, José Mendes
Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets [Documento electrónico] / José Mendes Machado ; orient. Jaime C. L. Ferreira da Silva, Jean-Jacques Lesage
Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets [Documento electrónico] / José Mendes Machado ; orient. Jaime C. L. Ferreira da Silva, Jean-Jacques Lesage . - [S.l. : s.n.], 2006 . -
681.5
Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets [Documento electrónico] / José Mendes Machado ; orient. Jaime C. L. Ferreira da Silva, Jean-Jacques Lesage . - [S.l. : s.n.], 2006 . -
681.5
Exporting to Dublin Core...
Bibliotecas Libraries
Serviços Services
Contactos gerais Contacts
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
- http://www.sdum.uminho.pt
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
