Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlín, Alemania :
Springer,
2013, c2013
|
| Edice: | (Lecture Notes in Computer Science)
|
| On-line přístup: | Ver documento en línea |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky: Structured Object-Oriented Formal Language and Method :
- Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : Revised Selected Papers /
- From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl /
- Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
- Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
- Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
- Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /