FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
Selección de las ponencias presentadas en el décimo noveno Simposio Internacional sobre Métodos Formales, celebrado en Singapur, en mayo de 2014. En los trabajos incluídos se destacan temas relacionados con métodos formales interdisciplinarios, aplicaciones prácticas de métodos formales en entornos...
Sparad:
| Institutionellt upphov: | |
|---|---|
| Övriga upphov: | , , |
| Materialtyp: | Konferenspublikation Bok |
| Språk: | engelska |
| Utgiven: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serie: | (Lecture Notes in Computer Science ;
8442) |
| Ämnen: | |
| Länkar: | Ver documento en línea |
| Taggar: |
Inga taggar, Lägg till första taggen!
|
Liknande verk: FM 2014 :
- Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I /
- Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings /
- Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
- Theory and Applications of FormalArgumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : Revised Selected Papers /
- Intelligent ComputerMathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : Proceedings /
- Language, Life, Limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : Proceedings /