Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Se

Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Se

by Martin Wirsing, Dirk Pattinson, Rolf Hennicker Paperback 2003

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Martin Wirsing, Dirk Pattinson, Rolf Hennicker
  • ISBN 13: 9783540205371
  • ISBN 10: 3540205373
  • Publication Year: 2003
  • Language: English

Specifications

Index-103540205373
LanguageEnglish
Index-139783540205371
Period-
Class Track-
Publisher- (2003)
Pages-

✨ Readers also enjoyed...

View All →
Adapting Proofs-as-Programs : The Curry-Howard Protocol

Adapting Proofs-as-Programs : The …

Iman Hafiz Poernomo, John Newsomw Crossley, Martin Wirsing

Inquire
Algebraic Methods : Theory, Tools and Applications

Algebraic Methods : Theory, Tools …

Martin Wirsing, Jan A. Bergstra

Inquire
Digital Education: at the MOOC Crossroads Where the Interests of Academia and Business Converge : 6th European MOOCs Stakeholders Summit, EMOOCs 2019,

Digital Education: at the MOOC Cro…

Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing

Inquire
Fundamental Approaches to Software Engineering : 12th International Conference, Fase 2009, Held As Part of the Joint European Conferences on Theory an

Fundamental Approaches to Software…

Marsha Chechik, Martin Wirsing

Inquire
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Re

Radical Innovations of Software an…

Martin Wirsing, Alexander Knapp, Simonetta Balsamo

Inquire