Ergebnisse zu
Compilerbau

Software Language Engineering
5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
von Krzysztof Czarnecki; Görel Hedin
Buch | Softcover
2013 | Auflage: 1 | Springer Berlin
ISBN: 9783642360886
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Testing Software and Systems
22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
von Alexandre Petrenko; Adenilso Simao; José Carlos..
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642165726
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Constraint Databases
von Gabriel Kuper; Leonid Libkin; Jan Paredaens
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642085420
160,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Model Checking Software
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
von Jaco van der Pol; Michael Weber
Buch | Softcover
2010 | Auflage: 1 | Springer Berlin
ISBN: 9783642161636
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Fundamental Approaches to Software Engineering
7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona,..
von Michel Wermelinger; Tiziana Margaria-Steffen
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540213055
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Typed Lambda Calculi and Applications
8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
von Simona Ronchi Della Rocca
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540732273
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen