Ergebnisse zu
Compilerbau

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
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
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
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
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