Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : Proceedings /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham, Suiza :
Springer,
2014, c2014
|
| Series: | (Lecture Notes in Computer Science ;
8614) |
| Subjects: | |
| Online Access: | Ver documento en línea |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: 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 /