Book serie: / Книги серии: Lecture Notes in Computer Science 7137 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 7137

book Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

pdf

Author: Sebastian S. Bauer Rolf Hennicker Martin Wirsing (auth.) Till Mossakowski Hans-Jörg Kreowski (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

pdf

Author: Sebastian S. Bauer Rolf Hennicker Martin Wirsing (auth.) Till Mossakowski Hans-Jörg Kreowski (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0