Results
|
1.
|
|
|
2.
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by
- Lämmel, Ralf [editor.]
- Saraiva, João [editor.]
- Visser, Joost [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7680
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
3.
|
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
- Brat, Guillaume [editor.]
- Rungta, Neha [editor.]
- Venet, Arnaud [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
4.
|
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by
- Hierons, Robert M [editor.]
- Merayo, Mercedes G [editor.]
- Bravetti, Mario [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8137
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|