Formal methods and software engineering : 11th International Conference on Formal Engineering Methods / Karin Breitman , Ana Cavalcanti (eds.)
Inclui bibliografia e índice
| Main Author: | International Conference on Formal Engineering Methods (11 : 2009 : RJ, Brasil) |
|---|---|
| Format: | Online |
| Published: |
Rio de Janeiro : Springer-Verlag,
2009
|
| Online Access: |
https://consultaredebie.decex.eb.mil.br/pergamum/biblioteca/index.php?codAcervo=411022 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|