Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Computer and Information Science 2009

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Computer and Information Science 2009

Produktform: Buch / Einband - fest (Hardcover)

---

Computer and Information Science 2009

Produktform: Buch / Einband - flex.(Paperback)

---

Structured Object-Oriented Formal Language and Method

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Structured Object-Oriented Formal Language and Method

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Testbeds and Research Infrastructures for the Development of Networks and Communities

13th EAI International Conference, TridentCom 2018, Shanghai, China, November 16-18, 2018, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Testbeds and Research Infrastructures for the Development of Networks and Communities

13th EAI International Conference, TridentCom 2018, Shanghai, China, November 16-18, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)