Cargando...
B 2007: formal specification and development in B 7th international conference of B Users, Besancon, France, January 7-19, 2007, proceedings /
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France in January 2007. The 30 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The topics of in...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Livro |
| Lenguaje: | Inglês |
| Publicado: |
Springer,
c2006
|
| Colección: | Programming and software engineering |
| Materias: | |
| Acceso en línea: | https://minerva.ufrj.br/F/?func=direct&doc_number=000900751&local_base=UFR01 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|