Ergebnisse zu
Compilerbau

Implementation of Functional Languages
15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
von Phil Trinder; Greg Michaelson; Ricardo Pena
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540237273
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Compiler Construction
18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK,..
von Oege de Moor; Michael I. Schwartzbach
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642007217
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
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
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
Fundamental Approaches to Software Engineering
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble,..
von Ralf-Detlef Kutsche; Herbert Weber
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540433538
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Model Checking Software
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
von Susanne Graf; Laurent Mounier
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540213147
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods for Software Architectures
Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003,..
von Marco Bernardo; Paola Inverardi
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540200833
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen