Ergebnisse zu
Compilerbau

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
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
Implementation of Functional Languages
14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
von Ricardo Pena; Thomas Arts
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540401902
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
von Otmane Ait Mohamed; César Munoz; Sofiène Tahar
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540710653
74,89 € (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
74,89 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Compiler Generators
What They Can Do, What They Might Do, and What They Will Probably Never Do
von Mads Tofte
Buch | Softcover
2011 | Auflage: 1 | Springer Berlin
ISBN: 9783642648571
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
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
66,34 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Model Checking Software
19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
von Alastair Donaldson; David Parker
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642317583
49,22 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen