Conference Proceedings & Collections

back

Recent Trends in Algebraic Development Techniques


Editors

  • Mossakowski, T.
  • Kreowski, H.-J.

Meta information [BibTeX]

  • Year: 2012
  • In: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
  • Volume: 7137
  • Conference: 20th International Workshop, WADT 2010 in Etelsen, Germany (01.-04. Juli 2010)
  • Publisher: Springer, Berlin Heidelberg
  • ISBN: 978-3-642-28412-0, eISBN: 978-3-642-28412-0
  • ISSN: 0302-9743
  • DOI: 10.1007/978-3-642-28412-0



Arbeitsgruppe Theoretical Computer Science



Mossakowski, T.; Kreowski, H.-J. (Eds.)
Recent Trends in Algebraic Development Techniques
20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Springer, Berlin Heidelberg, 2012
(Workgroup: Theoretical Computer Science)
BibTeX Close


Download as .bib