Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | engleski |
| Izdano: |
Berlín, Alemania :
Springer,
2012, c2012
|
| Serija: | (Lecture Notes in Computer Science)
|
| Online pristup: | Ver documento en línea |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
Slični predmeti: Formal Aspects of Component Software :
- Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
- Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /
- Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /
- Fundamentals of Software Engineering : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers /
- Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
- Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /