Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : Proceedings /
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , |
| Formato: | Procedimiento de la conferencia Livro |
| Idioma: | inglês |
| Publicado em: |
Cham, Suiza :
Springer,
2014, c2014
|
| Colecção: | (Lecture Notes in Computer Science ;
8614) |
| Assuntos: | |
| Acesso em linha: | Ver documento en línea |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
Registos relacionados: Descriptional Complexity of Formal Systems :
- Agile Processes in Software Engineering and Extreme Programming : 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014 : Proceedings /
- Código sostenible : cómo programar código fácil de mantener /
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
- PowerShell for Sysadmins : Workflow Automation Made Easy /
- NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /
- Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : Advanced Lectures /